Stepwise development of dependable systems /
Uloženo v:
| OCLC: | 45492656 |
|---|---|
| Hlavní autor: | |
| Korporativní autor: | |
| Jazyk: | English |
| Vydáno: |
Turku, Finland :
Painosalama Oy,
2000.
|
| Edice: | TUCS dissertations,
no. 29. |
| Témata: | |
| Médium: | Diplomová práce Monograph Note that CRL will digitize material from the collection when copyright allows. |
| Popis jednotky: | 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. |
|---|---|
| Fyzický popis: | Pagination multiple ; 25 cm. |
| Bibliografie: | Bibliogr. |
| ISBN: | 9512917289 |
| ISSN: | 1239-1883 ; |
| Místo vydání: | Finland. |