Capa do artigo Formal Verification Of Control System Software

Formal Verification Of Control System Software

by Pierre-Loic Garoche
language: english
Publisher: Princeton University Press, May of 2019 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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

Formal Verification Of Control System Software

by Pierre-Loic Garoche

Property Description
ISBN: 9780691181301
Publisher: Princeton University Press
Release Date: May of 2019
Language: English
Cover: Hardcover
Pages: 232
Format: Book
Collection: Princeton Series In Applied Mathematics
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9780691181301

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

PIERRE-LOIC GAROCHE

SEE MORE TITLES BY THIS AUTHOR