Rocco De Nicola

Books
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2016
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
2016
Concurrency, Graphs and Models Concurrency, Graphs and Models
Concurrency, Graphs and Models
2008