Real-Time: Theory in Practice REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings / edited by J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg.
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...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Bakker, J.W.de
(Editor),
Huizing, C.
(Editor),
Roever, W.P.de
(Editor),
Rozenberg, G.
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1992.
|
|---|
| Edition: | 1st ed. 1992. |
|---|
| Series: | Lecture Notes in Computer Science,
600
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|