Compositional verification of concurrent and real time systems

Literaturverz. S. [187] - 193

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Juan, Eric Y. T. (VerfasserIn)
Weitere Verfasser:	Tsai, Jeffrey J. P. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston, Mass. u.a. Kluwer Academic Publishers 2002
Schriftenreihe:	Kluwer international series in engineering and computer science 676
Schlagworte:	Parallel processing (Electronic computers) > Real-time data processing > Computer systems > Verification > Programmverifikation > Echtzeitverarbeitung > Softwarespezifikation > Multiplexbetrieb
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!