Scenarios : Models, Transformations and Tools

← Esplora

Catalogo · 9783540320326

Scenarios : Models, Transformations and Tools

Stefan Leue, Tarja J. Systä

ISBN 9783540320326

Descrizione non disponibile per questo libro.

Vedi su Google Books

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare

Letture affini

Model Checking Software

Dragan Bosnacki, Stefan Leue

Altri libri di Stefan Leue, Tarja J. Systä

Copertina di Theoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

Model checking software

Stefan Leue

Copertina di Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems