Sfoglia per Rivista IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Mostrati risultati da 1 a 5 di 5
A modeling framework to implement preemption policies in non-Markovian SPN
2000-01-01 Bobbio, Andrea; A., Puliafito; M., Telek
Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets
1994-01-01 Franceschinis, Giuliana Annamaria; R. R., Muntz
Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics
2003-01-01 Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Gaeta, R.; Portinale, Luigi
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
1989-01-01 Marsan, M. A.; Balbo, G.; Bobbio, Andrea; Chiola, G.; Conte, G.; Cumani, A.
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
2003-01-01 E., Teruel; Franceschinis, Giuliana Annamaria; M., DE PIERRO
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A modeling framework to implement preemption policies in non-Markovian SPN | 1-gen-2000 | Bobbio, Andrea; A., Puliafito; M., Telek | |
Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets | 1-gen-1994 | Franceschinis, Giuliana Annamaria; R. R., Muntz | |
Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics | 1-gen-2003 | Bobbio, Andrea; Franceschinis, Giuliana Annamaria; Gaeta, R.; Portinale, Luigi | |
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets | 1-gen-1989 | Marsan, M. A.; Balbo, G.; Bobbio, Andrea; Chiola, G.; Conte, G.; Cumani, A. | |
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities | 1-gen-2003 | E., Teruel; Franceschinis, Giuliana Annamaria; M., DE PIERRO |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile