Stepwise development of dependable systems /
Saved in:
| OCLC: | 45492656 |
|---|---|
| 主要作者: | |
| 企業作者: | |
| 語言: | English |
| 出版: |
Turku, Finland :
Painosalama Oy,
2000.
|
| 叢編: | TUCS dissertations,
no. 29. |
| 主題: | |
| 格式: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
| Item Description: | 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. |
|---|---|
| 實物描述: | Pagination multiple ; 25 cm. |
| 參考書目: | Bibliogr. |
| ISBN: | 9512917289 |
| ISSN: | 1239-1883 ; |
| Place of Publication: | Finland. |