FBT 1998 | Sciweavers

48

FBT
1997

77views Formal Methods» more FBT 1997»

14 years 4 months ago

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

claim paper

Read More »

33

click to vote

FBT
1997

65views Formal Methods» more FBT 1997»

Repetitive Quiescence in Implementation and Testing

14 years 4 months ago

Download eprints.eemcs.utwente.nl

Jan Tretmans

claim paper

Read More »

40

click to vote

FBT
1998

129views Formal Methods» more FBT 1998»

Specification Modules for Methodical System Development

14 years 4 months ago

Download www4.in.tum.de

: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...

Franz Huber, Bernhard Schätz

claim paper

Read More »

35

click to vote

FBT
1998

88views Formal Methods» more FBT 1998»

Introduction of Gate Types into SDL

14 years 4 months ago

Download www2.informatik.hu-berlin.de

Eckhardt Holz, Joachim Fischer

claim paper

Read More »

28

click to vote

FBT
1998

84views Formal Methods» more FBT 1998»

Formale Entwicklung verteilter reaktiver Systeme mit FOCUS

14 years 4 months ago

Download www4.informatik.tu-muenchen.de

Max Breitling, Ursula Hinkel, Katharina Spies

claim paper

Read More »

47

click to vote

FBT
1998

119views Formal Methods» more FBT 1998»

Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata

14 years 4 months ago

Download mtc.epfl.ch

We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...

Dirk Beyer, Heinrich Rust

claim paper

Read More »

30

click to vote

FBT
1998

74views Formal Methods» more FBT 1998»

Entwurf und Implementierung eingebetteter Systeme

14 years 4 months ago

Download wwwbroy.informatik.tu-muenchen.de

Jan Phillips, Alexander Schmidt

claim paper