Sciweavers

31

FTRTFT
1994
Springer

102views Formal Methods» more FTRTFT 1994»

Specifying and Verifying Fault-Tolerant Systems

14 years 3 months ago

Specifying and Verifying Fault-Tolerant Systems

Download research.microsoft.com

Leslie Lamport, Stephan Merz

claim paper

Read More »

32

FTRTFT
1994
Springer

102views Formal Methods» more FTRTFT 1994»

14 years 3 months ago

Download www.francobampi.it

Thomas Käufl, Stefan Klingenbeck

claim paper

Read More »

43

FTRTFT
1994
Springer

113views Formal Methods» more FTRTFT 1994»

Specification and Refinement of Finite Dataflow Networks - a Relational Approach

14 years 3 months ago

Specification and Refinement of Finite Dataflow Networks - a Relational Approach

Download folk.uio.no

We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...

Manfred Broy, Ketil Stølen

claim paper

Read More »