Formal Modeling and Verification of Cyber-Physical Systems

Type:

e-book

Titel:

Formal Modeling and Verification of Cyber-Physical Systems

Auteur:

Drechsler, Rolf; Kühne, Ulrich

Taal:

Engels

Uitgever:

Springer Fachmedien Wiesbaden 2015

ISBN:

3-658-09993-3
3-658-09994-1

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000422113