| 000 | a | ||
|---|---|---|---|
| 999 |
_c30280 _d30280 |
||
| 008 | 230625b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780262044806 | ||
| 082 |
_a004.0151135 _bMIT |
||
| 100 | _aMitra, Sayan | ||
| 245 | _aVerifying cyber-physical systems : a path to safe autonomy | ||
| 260 |
_bMIT Press, _c2021 _aCambridge : |
||
| 300 |
_axvi, 296 p. ; _bill., _c24 cm |
||
| 365 |
_b60.00 _cUSD _d85.60 |
||
| 490 | _aCyber physical systems series | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 520 | _aA unified mathematical framework for rigorously modeling and analyzing cyber-physical systems | ||
| 650 | _aCooperating objects | ||
| 650 | _aMathematical models | ||
| 942 |
_2ddc _cBK |
||