Sfoglia per Autore
Mostrati risultati da 1 a 8 di 8
Modeling Distributed Private Key Generation by Composing Petri Nets
2014 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Modularity for system modelling and analysis
2013 Mangioni, E
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms
2013 Bernardinello, L; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Modeling Distributed Private Key Generation by Composing Petri Nets
2013 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Local state refinement on Elementary Net Systems: an approach based on morphisms
2012 Bernardinello, L; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Inference of Local Properties in Petri Nets Composed through an Interface
2012 Ferigato, C; Mangioni, E
Composition of Elementary Net Systems based on α-morphisms
2012 Bernardinello, L; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Morphisms for composition on interfaces
2011 Mangioni, E
Mostrati risultati da 1 a 8 di 8
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