|
Journals in DBLP
Comput. J. 1995, volume: 38, number: 4
- Saurav Chatterjee, Jay K. Strosnider
Distributed Pipeline Scheduling: A Framework for Distributed, Heterogeneous Real-Time System Design. [Citation Graph (0, 0)][DBLP] Comput. J., 1995, v:38, n:4, pp:271-285 [Journal]
- Scott Dawson, Farnam Jahanian
Probing and Fault Injection of Dependable Distributed Protocols. [Citation Graph (0, 0)][DBLP] Comput. J., 1995, v:38, n:4, pp:286-300 [Journal]
- Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. [Citation Graph (0, 0)][DBLP] Comput. J., 1995, v:38, n:4, pp:301-309 [Journal]
- Benjamin Macias, Stephen G. Pulman
A Method for Controlling the Production of Specifications in Natural Language. [Citation Graph (0, 0)][DBLP] Comput. J., 1995, v:38, n:4, pp:310-318 [Journal]
- Alexander D. Stoyenko, Thomas J. Marlowe, Mohamed F. Younis
A Language for Complex Real-Time Systems. [Citation Graph (0, 0)][DBLP] Comput. J., 1995, v:38, n:4, pp:319-338 [Journal]
|