Catalogo · 9783031684159
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
ISBN 9783031684159
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Compositional Approach to Performance Modelling
Jane Hillston
Formal Methods for Performance Evaluation
Marco Bernardo, Jane Hillston
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
Jane Hillston
Verba volant · scripta manent