Specification and compositional verification of real-time systems

Specification and compositional verification of real-time systems

Zugl.: Eindhoven, Techn. Univ., Diss., 1991

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hooman, Jozef J. (VerfasserIn)
Weitere Verfasser: Hooman, Jozef (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1991
Schriftenreihe:Lecture notes in computer science 558
Schlagworte:
Real-time data processing > Computer programs > Verification > Hochschulschrift > Echtzeitsystem > Softwarespezifikation > Programmverifikation
Online Zugang:Inhaltstext
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Eindhoven, Techn. Univ., Diss., 1991
Beschreibung:Literaturverz. S. [229] - 235
Beschreibung:VIII, 235 S.
ISBN:3540549471
3-540-54947-1
0387549471
0-387-54947-1