This website uses cookies.
Formal Verification of Control System Software cover

Formal Verification of Control System Software

by

An essential introduction to the analysis and verification of control system software
Publisher
Princeton University Press
Publication year
2019
ISBN-13
9780691181301
Pages
216
Language
English
Subjects
Formal MethodsControl SystemsSoftware VerificationSafety-Critical SystemsEmbedded Systems

  • Have:1
  • Want:
  • Avg Rating:
  • Ratings:

Who has this book

1 Connection

Recommendations

1000 Symbols
1000 Symbols
by groupings of related symbols
The Complete World of the Dead Sea Scrolls
The Complete World of the Dead Sea Scrolls
by acknowledged experts in the field
The Archaeology of Nostalgia
The Archaeology of Nostalgia
by Stuart Piggott
Niccolò Machiavelli
Niccolò Machiavelli
by Corrado Vivanti
The Life of Isamu Noguchi: Journey Without Borders
The Life of Isamu Noguchi: Journey Without Borders
by Masayo Duus
The One Hundred Circle Farm
The One Hundred Circle Farm
by Emmet Gowin

Market

Community Notes