Using Event-B for critical device software systems

Using Event-B for critical device software systems

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Singh, Neeraj Kumar (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London u.a. Springer 2013
Schlagworte:
Formal methods (Computer science) > Formale Methode > Echtzeitsystem
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XVIII, 326 S.
graph. Darst
ISBN:9781447152590
978-1-4471-5259-0