Formal Methods for Industrial Critical Systems

← Esplora

Catalogo · 9783540797074

Formal Methods for Industrial Critical Systems

Stefan Leue, Pedro Merino

ISBN 9783540797074

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, Pedro Merino

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

Copertina di Scenarios : Models, Transformations and Tools

Scenarios : Models, Transformations and Tools

Stefan Leue, Tarja J. Systä