Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bakker, J. W. de, Huizing, C, Roever, W. P. de, Rozenberg, G
Format:	Buch
Sprache:	eng
Schlagworte:	Computation by Abstract Devices Computer Communication Networks Computer Science Information theory Logic design Logics and Meanings of Programs Operating Systems Operating systems (Computers) Software engineering Special Purpose and Application-Based Systems Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!