The SCEAS System
Navigation Menu

Conferences in DBLP

KORSO (korso)
1995 (conf/korso/1995fd)

  1. Claus Lewerentz, Thomas Lindner
    Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:1-6 [Conf]
  2. Thomas Lindner
    Task Description. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:7-19 [Conf]
  3. Claus Lewerentz, Thomas Lindner
    Comparative Survey. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:21-54 [Conf]
  4. Klaus Nökel, Klaus Winkelmann
    CSL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:55-74 [Conf]
  5. Reinhard Budde
    ESTEREL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:75-100 [Conf]
  6. Leszek Holenderski
    LUSTRE. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:101-112 [Conf]
  7. Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten
    SIGNAL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:113-129 [Conf]
  8. Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör
    Statecharts. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:131-149 [Conf]
  9. Jorge Cuéllar, Martin Huber
    TLT. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:151-169 [Conf]
  10. Stefan Heinkel, Thomas Lindner
    SDL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:171-183 [Conf]
  11. Max Fuchs, Jan Philipps
    Focus. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:185-197 [Conf]
  12. Dimitris Dranidis, Stefan Gastinger
    SPECTRUM. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:199-228 [Conf]
  13. Gerhard Schellhorn, Axel Burandt
    KIV. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:229-245 [Conf]
  14. Stefan Klingenbeck, Thomas Käufl
    Tatzelwurm. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:247-259 [Conf]
  15. Rachel Cardell-Oliver
    HTTDs and HOL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:261-276 [Conf]
  16. François Erasmy, Emil Sekerinski
    RAISE. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:277-293 [Conf]
  17. Jochen Burghardt
    Deductive Synthesis. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:295-309 [Conf]
  18. Franz Korf, Rainer Schlör
    Symbolic Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:311-331 [Conf]
  19. Roel Wieringa
    LCM and MCM. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:333-355 [Conf]
  20. Andreas Rüping, Emil Sekerinski
    Modula-3. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:357-371 [Conf]
  21. Rudolf Herzig, Nikolaos Vlachantonis
    TROLL light. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:373-381 [Conf]
  22. Artur Bauer, Thomas Lindner
    Simulation. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:383-394 [Conf]
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