Dependability and computer engineering concepts for software-intensive systems /

• 作者：Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
• 出版者：IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA)
• 出版地：Hershey, Pa. :
• 語文：英語
• 主題：Dependability ; Security in domain-specific areas ; Dependable systems ; Model-based reasoning ; Modeling real-time behavior ; Hybrid systems ; Distributed systems ; Software security ; Testing and verification of software-intensive systems ; Complex control systems
• 電子資源：http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0
• ISBN/ISSN/ISRC：9781609607487 (ebook) ; 9781609607470 (hardcover) ; 9781609607494 (print & perpetual access)
• 作者：Petre, Luigia;Sere, K.;Troubitsyna, Elena
• 索書號：620/.00452