|
Journals in DBLP
STTT 2004, volume: 5, number: 4
- S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert
Introductory paper. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:299-300 [Journal]
- John C. Martin
Formal methods software engineering for the CARA system. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:301-307 [Journal]
- Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:308-319 [Journal]
- Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:320-330 [Journal]
- Eugene W. Stark
Formally specifying CARA in Java. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:331-350 [Journal]
- Arnab Ray, Rance Cleaveland
Unit verification: the CARA experience. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:351-369 [Journal]
- Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown
Requirements-document-based prototyping of CARA software. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:4, pp:370-390 [Journal]
|