A Language for Complex Real-Time Systems.
- Published in:
- Computer Journal, 1995, v. 38, n. 4, p. 319
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1995 AND VI 38 AND IP 4
Results: 5
1
2
A Method for Controlling the Production of Specifications in Natural Language.
- Published in:
- Computer Journal, 1995, v. 38, n. 4, p. 310
- By:
- Publication type:
- Article
3
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software.
- Published in:
- Computer Journal, 1995, v. 38, n. 4, p. 301
- By:
- Publication type:
- Article
4
Probing and Fault Injection of Dependable Distributed Protocols.
- Published in:
- Computer Journal, 1995, v. 38, n. 4, p. 286
- By:
- Publication type:
- Article
5
Distributed Pipeline Scheduling: A Framework for Distributed, Heterogeneous Real-Time System Design.
- Published in:
- Computer Journal, 1995, v. 38, n. 4, p. 271
- By:
- Publication type:
- Article