Lecture Notes in Computer Science - Formal Development of Reactive Systems
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540588672, 9783540491330
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modula-3

1995 ◽  
pp. 357-371 ◽  
Author(s):  
Andreas Rüping ◽  
Emil Sekerinski

Symbolic Timing Diagrams

1995 ◽  
pp. 311-331 ◽  
Author(s):  
Franz Korf ◽  
Rainer Schlör
Keyword(s):  
Timing Diagrams

Raise

1995 ◽  
pp. 277-293 ◽  
Author(s):  
François Erasmy ◽  
Emil Sekerinski

KIV

1995 ◽  
pp. 229-245
Author(s):  
Gerhard Schellhorn ◽  
Axel Burandt

Focus

1995 ◽  
pp. 185-197 ◽  
Author(s):  
Max Fuchs ◽  
Jan Philipps

Introduction

1995 ◽  
pp. 1-6 ◽  
Author(s):  
Claus Lewerentz ◽  
Thomas Lindner

SDL

1995 ◽  
pp. 171-183 ◽  
Author(s):  
Stefan Heinkel ◽  
Thomas Lindner

Comparative survey

1995 ◽  
pp. 21-54 ◽  
Author(s):  
Claus Lewerentz ◽  
Thomas Lindner
Keyword(s):  
Comparative Survey
Load More ...
Sign in / Sign up

Export Citation Format

Share Document