Stepwise development of dependable systems
By: Elena A. Troubitsyna
Contributors: Åbo akademi (1918- )
Series: TUCS dissertations -- no. 29
Publisher: Painosalama Oy
Published: 2000
Place of publication: Turku, Finland
Language: eng
Notes: Contient aussi les publications originales suivantes de l'auteur : "The probabilistic steam boiler : a case study in probabilistic data refinement", Proc. of International refinement workshop/Formal methods pacific'98, p. 250-265, Springer Verlag, 1998 ; "Reliability assessment through probabilistic refinement", Nordic j. of computing, 6, 1999, p. 320-342 ; "Enhancing dependability via parameterized refinement", Proc. 1999 Pacific Rim International Symposium on Dependable Computing, p. 120-127, IEEE Computer Society, 1999 ; "Hazard analysis in formal specification", in Computer safety, reliability and security, Proc. of 18th International conference, SAFECOMP'99, p. 350-360, Springer Verlag, 1999 ; "Safety analysis in formal specification", FM'99 - Formal methods, Proc. of World congress on formal methods in the development of computing systems, vol. II, p. 1564-1583, Springer Verlag, 1999 ; "Specifying safety related hazards formally", Proc. of 17th International system safety conference, p. 353-363, 1999.

Thesis (doctoral)--Åbo Akademi University, 2000.

Bibliogr.