Skip to main navigation Skip to search Skip to main content

Development of a Dynamic Fault Tree solver based on Colored Petri Nets and graphically interfaced with DrawNET

Research output: Other contribution

Original languageItalian
Publication statusPublished - 1 Jan 2003

Cite this