The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
1997, volume: 23, number: 5

  1. Bruno Dutertre, Victoria Stavridou
    Formal Requirements Analysis of an Avionics Control System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:267-278 [Journal]
  2. Gerard J. Holzmann
    The Model Checker SPIN. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:279-295 [Journal]
  3. Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden
    EVA: A Flexible Programming Method for Evolving Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:296-313 [Journal]
  4. Changqing Wang, David R. Musser
    Dynamic Verification of C++ Generic Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:314-323 [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