02232nam a2200505 i 4500 EBC1895318 MiAaPQ 20250903215522.0 m o d | cr cnu|||||||| 150310t20152015enk ob 001 0 eng d 9781848217652 9781119053927 (electronic bk.) (MiAaPQ)EBC1895318 (Au-PeEL)EBL1895318 (CaPaEBR)ebr11017939 (CaONFJC)MIL726304 (OCoLC)902804403 MiAaPQ eng rda pn MiAaPQ MiAaPQ QA614.8 .A93 2015 515.352 23 Aubry, Jean-Francois, author. 1235706 Systems dependability assessment : modeling with graphs and finite state automata / Jean-Francois Aubry, Nicolae Brinzei. London, [England] ; Hoboken, New Jersey : John Wiley & Sons : ISTE Limited, 2015. 2015 1 online resource (198 pages). text rdacontent computer rdamedia online resource rdacarrier Risk management and dependability series Focus Series Includes bibliographical references and index. Description based on print version record. Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Invariant sets. 1235707 System theory. Computational complexity. 36729 Electronic books. 35142 Brinzei, Nicolae, author. 1235708 Print version: Aubry, Jean-Francois. Systems dependability assessment : modeling with graphs and finite state automata. London, [England] ; Hoboken, New Jersey : ISTE Limited : John Wiley & Sons, c2015 xii, 182 pages Focus Series Risk management and dependability series. 9781848217652 2014956809 ProQuest (Firm) Risk management and dependability series. 1235709 Focus Series. https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1895318 Click to View 483584 483584