Main image
Click to view image in fullscreen
![]()
Formal Verification of Control System Software
An essential introduction to the analysis and verification of control system softwareThe verification of control system 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 their lives. In this authoritative and accessible
620,00 DH
Sur commande
An essential introduction to the analysis and verification of control system softwareThe verification of control system 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 their lives. In this authoritative and accessible
| ISBN / EAN | 9780691181301 |
|---|---|
| Auteur | Garoche, Pierre-Loic |
| Editeur | Princeton University Press |