Cargando…
Formal Methods Applied to Complex Systems.
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these "formal...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Wiley-ISTE,
2014.
|
| Colección: | Computer engineering series.
|
| Temas: | |
| Acceso en línea: | Texto completo |