Formal Methods Applied to Industrial Complex Systems : Implementation of the B Method.
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: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Formal Methods for Safety and Security : Case Studies for Aerospace Applications.
por: Nanda, Manju
Publicado: (2017) -
Modeling in Event-B : system and software engineering /
por: Abrial, Jean-Raymond
Publicado: (2010) -
Software Specification Methods.
por: Habrias, Henri
Publicado: (2010) -
Formal Ontology in Information Systems.
por: Garbacz, P.
Publicado: (2014) -
Formal ontology in information systems : proceedings of the 11th International Conference (FOIS 2020) /
Publicado: (2020)