Search results for: Susanna Donatelli
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed Automata and Duration Calculus > 216-230
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Invited Papers > 1-18
Lecture Notes in Computer Science > Critical Information Infrastructures Security > Session 4: Code of Practice and Metrics > 106-123
Lecture Notes in Computer Science > Computer and Information Sciences - ISCIS 2004 > Modeling and Performance Evaluation > 543-552
Lecture Notes in Computer Science > Computer Performance Evaluation > Petri Net Techniques > 243-254
Lecture Notes in Computer Science > Computer Performance Engineering > Compositional Analysis > 236-251
Lecture Notes in Computer Science > Computer Performance Evaluation Modelling Techniques and Tools > 335-352
Lecture Notes in Computer Science > Computer Performance Evaluation.Modelling Techniques and Tools > Stochastic Petri Nets > 203-215
Lecture Notes in Computer Science > Computer Performance Evaluation: Modelling Techniques and Tools > 131-140
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 36-51
Lecture Notes in Computer Science