Integrating safety and formal analyses using UML and PFS
| Year of publication: |
2007
|
|---|---|
| Authors: | Iwu, Frantz ; Galloway, Andy ; Mcdermid, John ; Toyn, Ian |
| Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 92.2007, 2, p. 156-170
|