Systems dependability assessment : modeling with graphs and finite state automata - Aubry, Jean-Francois; Brinzei, Nicolae; ebrary, Inc. (London, [England] ; Hoboken, New Jersey : John Wiley & Sons : ISTE Limited, 2015)
Includes bibliographical references and index.
Description based on print version record.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
Keywords: Invariant sets; System theory; Computational complexity; Electronic books