-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Computer-Aided verification /
-
The temporal logic of reactive and concurrent systems : Specification /
-
Formal verification of hardware design /
-
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
-
Symbolic model checking /
-
Principles of Model checking
-
Model checking
-
Safety of computer control systems 1992 : Computer systems in safety-critical Applications : Konf. SAFECOMP'92, Zürich, Swizerland, 28.- 30. Oct. 1992 /
-
Safety aspects of computer control /
-
Aspect-oriented : Software Development
-
A unified approach for timing verification and delay faut testing
-
FTCS-22 : Digest of papers : Konf. The Twenty-Second International Sysposium on Fault-Tolerant Computing, Boston, Massachusetts, 8.- 10. July 1992
-
Software fault tolerance : Achievement and assessment strategies /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
The Reliability of Mechanical Systems /
-
Computer science today : Recent trends and developments /
-
201 principles of software development /
-
PVM: Parallel virtual machine : A User's guide and tutorial for networked parallel computing /
-
Partitioning and scheduling parallel programms for multiprocessors /
-
MATLAB for engineers
-
MATLAB Programming for engineers
-
Transputers and parallel architectures: message-passing distributed systems /
-
Directions in safety-critical systems : Proceedings of the first symposium : Konf. Bristol, 9.- 11. Feb. 1993 /