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 edition 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
Jun 06, 2015, Springer Vieweg
paperback
3658099933 9783658099930
|
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
2015, Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
in English
3658099941 9783658099947
|
zzzz
|
Book Details
Edition Notes
Source title: 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
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created May 11, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 11, 2020 | Created by ImportBot | Imported from amazon.com record |