Vytisknout
1. Verifying cyber-physical systems
Verifying cyber-physical systems : a path to safe autonomy / Sayan Mitra. Cambridge, MA ; London : The MIT Press, [2021] ©2021. xvi, 296 stran Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
Z | 0 | 0 | 0 | 1 | 0 | 0 |