Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Fachbücher von Marco Bernardo, Rocco De N...

Software Engineering and Formal Methods, Fachbücher von Rocco De Nicola, eva Kühn

Marco Bernardo (u. A.) | Formal Methods For Model-driven Engineering |

Marco Bernardo (u. A.) | Formal Methods For Executable Software Models

Statistical Methods for the Evaluation of University Systems, Fachbücher

Formal Methods for Performance Evaluation, Fachbücher

Quantitative Evaluation of Systems, Fachbücher

Quantitative Evaluation Of Systems | Marco Gribaudo (u. A.) |

Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Herbert Wiklicky, Marco Bernardo, Alessandra Di Pierr...

Formal Methods for Industrial Critical Systems, Fachbücher

Formal Methods and Stochastic Models for Performance Evaluation, Fachbücher

Programming Languages and Systems, Fachbücher von Rocco De Nicola

Formal And Adaptive Methods For Automation Of Parallel Programs

Quantitative Evaluation of Systems, Fachbücher von Alessandro Abate, Andrea Marin

Quantitative Evaluation of Systems, Fachbücher von Nathalie Bertrand, Luca Bortolussi

Quantitative Evaluation of Systems, Fachbücher von Verena Wolf, David Parker