Formal Modeling and Verification of Cyber-Physical Systems/Rolf Drechsler

 

QR code of document

Ratings: 0


Rolf Drechsler
    Formal Modeling and Verification of Cyber-Physical Systems [Электронный ресурс] / Rolf Drechsler, Ulrich Kühne. - Электроные текстовые данные. - 1007/978-3-658-09994-7. - [S. l.] : Springer Fachmedien Wiesbaden, 2015. - ( час. мин.), 1007/978-3-658-09994-7 . - ISBN 9783658099947

Кл.слова (ненормированные):
Computer science -- Computer System Implementation -- Computer Hardware -- Simulation and Modeling -- Circuits and Systems -- Control, Robotics, Mechatronics -- Aerospace Technology and Astronautics -- книги издательства Springer

Open link to player

Please authorize to view