-
Temporal verification of reactive systems : Safety /
-
Computer-Aided verification /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Symbolic model checking /
-
Principles of Model checking
-
Model checking
-
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
-
Formal verification of hardware design /
-
Safety of computer control systems 1992 : Computer systems in safety-critical Applications : Konf. SAFECOMP'92, Zürich, Swizerland, 28.- 30. Oct. 1992 /
-
Computer science today : Recent trends and developments /
-
A unified approach for timing verification and delay faut testing
-
Design, automation and test in Europe. Conference and exhibition 1999 : Proceedings
-
Design, automation and test in Europe. Conference and exhibition 2001 : Proceedings. Munich, Germany. 13.- 16. March 2001
-
Design, automation and test in Europe. Conference and exhibition 2000 : Proceedings.Paris, France. 27.- 30. March 2000
-
Logic and algebra of specification /
-
Safety aspects of computer control /
-
Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 /
-
Computer Aids for VLSI design /
-
Advances in Information and Computer Security. IWSEC 2009 : 4th International Workshop on Security. Toyama, Japan. 28.-30. Oct. 2009 /
-
Modul testovania pre online skúškový systém
-
The Reliability of Mechanical Systems /
-
Computer and Information Security Handbook /
-
Fault-tolerant distributed computing /
-
Reliability and Avaibility of Cloud Computing