Formal Verification of Control System Software
Pierre-Loic Garoche • Princeton University Press • ISBN Not provided
Formal Verification of Control System Software
Pierre-Loic Garoche • Princeton University Press • ISBN-13 9780691181301
ISBN-10 Not provided • 2019 • 1st Edition
Canonical book record
ISBN Not provided • Completeness 40
Cover quality: low resolution
Description
An essential introduction to the analysis and verification of control system software
Book metadata
Catalog notes
Contributor: Pierre-Loïc Garoche
Cultural context
Category: Control SystemsCategory: Embedded SystemsCategory: Formal MethodsCategory: Safety-Critical SystemsCategory: TheoryCornerstone of: Formal Verification in Software Engineering
Community signals
Have: 12 • Like: 0 • Avg Rating: 1.3 / 5 • Ratings: 25
Estimated value
Low
$-
Fair
$-
High
$-
Community comments
0 likes • 0 comments
Log in to like this book and join the discussion.
Loading comments…
Editions and similar books
This page is the canonical hub for edition variants, ISBN mapping, and recommendation bridges.
How Ancient Europeans Saw the World: Vision, Patterns, and the Shaping of the Mind in Prehistoric Times
Kabbalah in Italy, 1280-1510
Social Issues, Geopolitics, and Judaica
,
Spanish Made Simple: Revised and Updated
Case by Case: Psychoanalysis and the Political
Kinship by Covenant
A Short History of War
The Humanist Comedy
Suggest catalog improvements
Log in to submit metadata updates for this book.