Mitra, Sayan
Verifying cyber-physical systems : a path to safe autonomy / Sayan Mitra. -- Cambridge, MA ; London : The MIT Press, [2021]. -- ©2021. -- xvi, 296 stran : ilustrace. -- ISBN : 978-0-262-04480-6 (vázáno).
autonomní vozidla. spolehlivost (technika). matematické modely. kybernetika. učebnice vysokých škol
629.3.014.9. 62-027.45. 519.673. 007. (075.8)