Specification and compositional verification of real-time systems

Specification and compositional verification of real-time systems

Zugl.: Eindhoven, Univ. of Technology, Diss.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hooman, Jozef J. M. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1991
Schriftenreihe:Lecture notes in computer science 558
Schlagworte:
Echtzeitverarbeitung > Echtzeitsystem > Programmverifikation > Verifikation > Softwarespezifikation > Spezifikation > Hochschulschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Eindhoven, Univ. of Technology, Diss.
Beschreibung:VIII, 235 S.
ISBN:3540549471
3-540-54947-1
0387549471
0-387-54947-1