The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2004, volume: 5, number: 4

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Eugene W. Stark
    Formally specifying CARA in Java. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:4, pp:331-350 [Journal]
  6. Arnab Ray, Rance Cleaveland
    Unit verification: the CARA experience. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:4, pp:351-369 [Journal]
  7. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002