The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
2004, volume: 30, number: 7

  1. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
    FSM-Based Incremental Conformance Testing Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:425-436 [Journal]
  2. Rik Eshuis, Roel Wieringa
    Tool Support for Verifying UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:437-447 [Journal]
  3. Jeong A. Kang, Albert Mo Kim Cheng
    Shortening Matching Time in OPS5 Production Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:448-457 [Journal]
  4. Uwe Glässer, Yuri Gurevich, Margus Veanes
    Abstract Communication Model for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:458-472 [Journal]
  5. Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes
    TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:473-487 [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