Number of the records: 1
Verifying cyber-physical systems
Title statement Verifying cyber-physical systems : a path to safe autonomy / Sayan Mitra Personal name Mitra, Sayan (author) Publication Cambridge, MA ; London : The MIT Press, [2021] Copyright notice date ©2021 Phys.des. xvi, 296 stran : ilustrace ISBN 978-0-262-04480-6 (vázáno) Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings autonomní vozidla automated vehicles * spolehlivost (technika) reliability (engineering) * matematické modely mathematical models * kybernetika cybernetics Form, Genre učebnice vysokých škol textbooks (higher) Conspect 007 - Teorie systémů. Automatické systémy. Informační systémy. Kybernetika 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 629.3.014.9 , 62-027.45 , 519.673 , 007 , (075.8) Country Spojené státy americké ; Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info 820:030/362 (KUP) 3139322748 Zbrojnice Ústřední knihovna UP - technika a průmysl In-Library Use Only
Number of the records: 1