-
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 /
-
Reliability in Automotive and Mechanical Engineering : Determination of Component and System Reliability
-
Hodnotenie spoľahlivosti systémov a jeho aplikácia do energetiky = Evaluation of the reliability of the methods and their application into energetic : Diplomová práca
-
Multi-State system reliability : Assessment, Optimization and Applications
-
Odhad ukazovateľov pohotovosti aspoľahlivosti výrobných systémov = The estimation of the indicators of availability and reliability in production systems : Bakalárska práca
-
Directions in safety-critical systems : Proceedings of the first symposium : Konf. Bristol, 9.- 11. Feb. 1993 /
-
Identifikácia ukazovateľov spoľahlivosti výrobných systémov = Identification of Reliability Indicators of Production Systems : Diplomová práca
-
Aspect-oriented : Software Development
-
Logic and algebra of specification /
-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Kvantifikácia pohotovosti a spoľahlivosti výrobných systémov = Quantification of Availability and Reliability of manufacturing systems : Bakalárska práca
-
Computer and Information Security Handbook /
-
Fault-tolerant distributed computing /
-
Design and use of software architectures : Adopting and evolving a product-line approach
-
Reliability Handbook
-
Metódy analýzy potenciálne možných porúch výrobného systému = Methods of analysis of possible failures in production systems : Diplomová práca
-
Reliability on the move: safety and reliability in transportation /
-
Practical Reliability Engineering
-
Reliability Engineering Handbook
-
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 /
-
Software projects : Evolutionary vs. big-bang delivery /
-
Software architecture in practice