|
Journals in DBLP
- Ping Zhou, Jozef Hooman
Formal Specification and Compositional Verification of an Atomic Broadcast Protocol. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1995, v:9, n:2, pp:119-145 [Journal]
- Ken Tindell, Alan Burns, Andy J. Wellings
Analysis of Hard Real-Time Communications. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1995, v:9, n:2, pp:147-171 [Journal]
- George Hassapis, John Papadopoulos
Support Software for the Development of Programmable Logic Controller Applications. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1995, v:9, n:2, pp:173-193 [Journal]
|