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!
|
Be the first to leave a comment!