Formal Verification of Control System Software / / Pierre-Loïc Garoche.
An essential introduction to the analysis and verification of control systems softwareThe verification of control systems software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive-the failure of controller software can cost people the...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2019 English |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2019] ©2019 |
Year of Publication: | 2019 |
Language: | English |
Series: | Princeton Series in Applied Mathematics ;
67 |
Online Access: | |
Physical Description: | 1 online resource (232 p.) :; 79 b/w illus. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Software and systems safety : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Published: (2011.) -
Multicore hardware-software design and verification techniques / edited by Pao-Ann Hsiung, Yean-Ru Chen, Chao-Sheng Lin.
Published: ([2011]) -
Software safety and security : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
Published: (2012.) -
Specification and verification of object-oriented software components / / Andreas Roth.
by: Roth, Andreas,
Published: (2006.) -
ReFocus : : The Films of François Ozon / / Loïc Bourdeau.
by: Bourdeau, Loïc,
Published: ([2022])