Fatnassi, Wael.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Verification of AI-controlled Cyber-physical Systems Using Polynomial Approximations : = Constraints Solver, Model Checkers, and Applications.
by:
ProQuest Information and Learning Co.; Fatnassi, Wael.; University of California, Irvine.
(書目-語言資料,手稿)