Using Event-B for Critical Device Software Systems

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal  techniques, this book adopts a rigorous safety assessment approach explored via several layers (from  requirements analysis to automatic source c...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Singh, Neeraj Kumar (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Machine theory.
Software engineering.
Medical informatics.
Computer simulation.
Computer programming.
Formal Languages and Automata Theory.
Software Engineering.
Health Informatics.
Computer Modelling.
Programming Techniques.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares