Petri-nets and hybrid-state Markov processes in a power-hierarchy of dependability models

Everdij, M.H.C.; Blom, H.A.P.
National Aerospace Laboratory NLR
NLR-TP-2003-559
2003

Thumbnail
View/Open
Metadata
Show full item record
URI
http://hdl.handle.net/10921/648
Collections