Formal Verification of Control System Software
by Pierre-Loïc Garoche
An essential introduction to the analysis and verification of control system software
Publisher
Princeton University Press
Subjects
Formal MethodsControl SystemsSoftware VerificationSafety-Critical SystemsEmbedded Systems
- Have:1
- Want:—
- Avg Rating:—
- Ratings:—
Recommendations
1000 Symbols
by groupings of related symbols
The Complete World of the Dead Sea Scrolls
by acknowledged experts in the field
The Archaeology of Nostalgia
by Stuart Piggott
Niccolò Machiavelli
by Corrado Vivanti
The Life of Isamu Noguchi: Journey Without Borders
by Masayo Duus
The One Hundred Circle Farm
by Emmet Gowin
Community Notes