Formal Modeling and Verification of Cyber-Physical Systems
-
häftad
,
Engelska, 2015