-
Fault-tolerant distributed computing /
-
Software fault tolerance : Achievement and assessment strategies /
-
A practical guide to real-time systems development /
-
Embedded real-time systems /
-
Safety of computer control systems 1992 : Computer systems in safety-critical Applications : Konf. SAFECOMP'92, Zürich, Swizerland, 28.- 30. Oct. 1992 /
-
Handbook of real-time embedded systems /
-
Safety aspects of computer control /
-
FTCS-22 : Digest of papers : Konf. The Twenty-Second International Sysposium on Fault-Tolerant Computing, Boston, Massachusetts, 8.- 10. July 1992
-
Cryptographic Hardware and Embedded Systems. CHES 2007 : Proceedings. 9th International Workshop, Vienna, Austria. 10.- 13. Sept. 2007 /
-
Real-time stability in power systems : Techniques for Early Detection of the Risk Blackout /
-
Real-time systems : Investigating industrial practice /
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Real-time software techniques /
-
Transputers in real-time control /
-
Advances in real-time systems /
-
Real-time systems : Abstractions, languages, and design methodologies /
-
Real-time system design /
-
Real-time object-oriented modeling /
-
Real-time technology and applications symposium : Proceedings : Konf. Chicago, Illionis, USA, 15.- 17. May 1995
-
Real-time systems desing and analysis : An engineer's handbook /
-
Monitoring and debugging of distributed real-time systems /
-
Logic and algebra of specification /
-
Advanced simulation of systems : Proceedings of the workshop : Konf. ASS 1996, Zábřeh na Moravě, Czech republic, 17.- 19. Sept. 1996 /
-
Príspevok k návrhu diagnostického systému : Kand.diz.práca : V.odb. 26-15-09 : Obh. 22.11.1984 /