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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Boulanger, Jean-Louis
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Wiley-ISTE, 2014.
Colección:Computer engineering series.
Temas:
Computer-aided design.
Computer engineering.
Systems engineering.
Computer organization.
Conception assistée par ordinateur.
Ordinateurs > Conception et construction.
Ingénierie des systèmes.
computer-aided designs (visual works)
systems engineering.
computer-aided design (process)
Computer organization
Computer-aided design
Computer engineering
Systems engineering
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares