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

Thumbnail Image
Files
TP-2003-559.pdf (164.33 KB)
Date
2003
Authors
Everdij, M.H.C.
Blom, H.A.P.
Journal Title
Journal ISSN
Volume Title
Publisher
National Aerospace Laboratory NLR
Abstract
Description
Keywords
Citation
URI
http://hdl.handle.net/10921/648
Collections
Reports