An edition of Formal Modeling and Verification of Cyber-Physical Systems
(2015)
Formal Modeling and Verification of Cyber-Physical Systems
1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
by Rolf Drechsler and Ulrich Kühne
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
2015, Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
in English
3658099941 9783658099947
|
aaaa
|
2
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Jun 06, 2015, Springer Vieweg
paperback
3658099933 9783658099930
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 11, 2020 | Created by ImportBot | import new book |