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

Risultato della ricerca: Altro contributo

Lingua originaleItalian
Stato di pubblicazionePubblicato - 1 gen 2003

Cita questo