The SCEAS System
Navigation Menu

Journals in DBLP

STTT
1997, volume: 1, number: 1-2

  1. Rance Cleaveland, Tiziana Margaria, Bernhard Steffen
    Editorial. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:1-5 [Journal]
  2. Pierre Wolper
    The Meaning of "Formal": From Weak to Strong Formal Methods. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:6-8 [Journal]
  3. Bernhard Steffen, Tiziana Margaria, Volker Braun
    The Electronic Tool Integration Platform: Concepts and Design. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:9-30 [Journal]
  4. Volker Braun, Tiziana Margaria, Carsten Weise
    Integrating Tools in the ETI Platform. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:31-48 [Journal]
  5. Tiziana Margaria, Volker Braun, Jürgen Kreileder
    Interacting with ETI: A User Session. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:49-63 [Journal]
  6. Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
    Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:64-85 [Journal]
  7. Rajeev Alur, Thomas A. Henzinger
    Real-Time System = Discrete System + Clock Variables. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:86-109 [Journal]
  8. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    HYTECH: A Model Checker for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:110-122 [Journal]
  9. Sergio Yovine
    KRONOS: A Verification Tool for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:123-133 [Journal]
  10. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
    UPPAAL in a Nutshell. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:134-152 [Journal]
  11. Philippe Leblanc
    OMT and SDL Based Techniques and Tools for Design, Simulation and Test Production of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:153-165 [Journal]
  12. Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
    Protocol Verification with the ALDÉBARAN Toolset. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:166-184 [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