Transformational design of real-time systems Part I: From requirements to program specifications.
- Published in:
- Acta Informatica, 1999, v. 36, n. 1, p. 1, doi. 10.1007/s002360050153
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 1999 AND VI 36 AND IP 1
Results: 2
1
2
Transformational design of real-time systems. Part II: From program specifications to programs.
- Published in:
- Acta Informatica, 1999, v. 36, n. 1, p. 67, doi. 10.1007/s002360050154
- By:
- Publication type:
- Article