Filter by
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Formal Modeling and Verification of Cyber-Physical Systems
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. …
- Edition
- -
- ISBN/ISSN
- 9783658099947
- Collation
- X, 313 pages
- Series Title
- -
- Call Number
- -
Languages, Design Methods, and Tools for Electronic System Design: Selected C…
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and ve…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31723-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography