Related Books
Language: en
Pages: 230
Pages: 230
Type: BOOK - Published: 2019-05-14 - Publisher: Princeton University Press
An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Language: en
Pages: 232
Pages: 232
Type: BOOK - Published: 2019-05-14 - Publisher: Princeton University Press
An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Language: en
Pages: 100
Pages: 100
Type: BOOK - Published: 1987 - Publisher:
Language: en
Pages: 202
Pages: 202
Type: BOOK - Published: 2009-06-12 - Publisher: Springer Science & Business Media
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite mo
Language: en
Pages: 48
Pages: 48
Type: BOOK - Published: 1994-02 - Publisher: DIANE Publishing
Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-qua