Sciweavers

7 search results - page 1 / 2
» fbt 1998
Sort
View
FBT
1998
14 years 11 months ago
Introduction of Gate Types into SDL
Eckhardt Holz, Joachim Fischer
FBT
1998
14 years 11 months ago
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS
Max Breitling, Ursula Hinkel, Katharina Spies
FBT
1997
14 years 11 months ago
Rapid Prototyping with AutoFocus
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
Franz Huber, Bernhard Schätz