Systems dependability assessment : modeling with graphs and finite state automata /
Jean-Francois Aubry, Nicolae Brinzei.
- 1 online resource (198 pages).
- Risk management and dependability series Focus Series .
- Risk management and dependability series. Focus Series. .
Includes bibliographical references and index.
9781119053927 (e-book)
Invariant sets. System theory. Computational complexity.