Formal techniques in real-time and fault-tolerant systems
(Jan); Vytopil;J.1993 年出版208 页ISBN：0792393325
Technological innovations in adaptive and dependable systems : advancing models and concepts
Vincenzo De Florio2012 年出版399 页ISBN：1466602554
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
AQUEOUS SYSTEMS AT ELEVATED TEMPERATURES AND PRESSURES Physical Chemistry in Water
Steam and Hydrothermal Solutions2004 年出版753 页ISBN：0125444613
Problem-based learning in communication systems using MATLAB and simulink
Kwonhue Choi ; Huaping Liu2016 年出版368 页ISBN：1119060346
COMPUTER AND NETWORK SECURITY Volume 1 Security in Distributed and Networking Systems
2007 年出版493 页ISBN：9789812708076
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
Using CASE Tools in Systems Development:Their Scope & Value DATA MANAGEMENT 89
1990 年出版129 页ISBN：0566090538
Lecture Notes in Artificial Intelligence 3413 Socionics Scalability of Complex Social Systems
2005 年出版315 页ISBN：3540307079
