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 and Stochastic Models for Performance Evaluation, Fachbücher

Formal And Adaptive Methods For Automation Of Parallel Programs

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

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

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

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Methods of synthesis of neural regulators for adaptive TONFC control systems, Fachbücher von Victor Buyankin