Formal methods software engineering for the CARA system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 301, doi. 10.1007/s10009-003-0113-x
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2004 AND VI 5 AND IP 4
Results: 7
1
2
Introductory paper.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 299
- By:
- Publication type:
- Article
3
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 320, doi. 10.1007/s10009-003-0137-2
- By:
- Publication type:
- Article
4
Formally specifying CARA in Java.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 331, doi. 10.1007/s10009-003-0124-7
- By:
- Publication type:
- Article
5
Requirements-document-based prototyping of CARA software.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 370
- By:
- Publication type:
- Article
6
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 308, doi. 10.1007/s10009-003-0132-7
- By:
- Publication type:
- Article
7
Unit verification: the CARA experience.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 4, p. 351, doi. 10.1007/s10009-003-0134-5
- By:
- Publication type:
- Article