Timing analysis of safety properties using fault trees with time dependencies and timed state-charts
| Year of publication: |
2012
|
|---|---|
| Authors: | Magott, Jan ; Skrobanek, Pawel |
| Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 97.2012, 1, p. 14-27
|