MANGIONI, ELISABETTA
MANGIONI, ELISABETTA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.017 secondi).
Modeling Distributed Private Key Generation by Composing Petri Nets
2014 Bernardinello, L; Kilinc, G; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
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
Modularity for system modelling and analysis
2013 Mangioni, E
Composition of Elementary Net Systems 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
Local state refinement on Elementary Net Systems: an approach based on morphisms
2012 Bernardinello, L; Mangioni, E; POMELLO CHINAGLIA POMELLO, L
Morphisms for composition on interfaces
2011 Mangioni, E