Sciweavers

165

Voted

FTRTFT
1994
Springer

102views Formal Methods» more FTRTFT 1994»

Specifying and Verifying Fault-Tolerant Systems

16 years 5 days ago

Specifying and Verifying Fault-Tolerant Systems

Download research.microsoft.com

Leslie Lamport, Stephan Merz

claim paper

Read More »

171

Voted

FTRTFT
1994
Springer

102views Formal Methods» more FTRTFT 1994»

16 years 5 days ago

Download www.francobampi.it

Thomas Käufl, Stefan Klingenbeck

claim paper

Read More »

212

FTRTFT
1994
Springer

113views Formal Methods» more FTRTFT 1994»

Specification and Refinement of Finite Dataflow Networks - a Relational Approach

16 years 5 days 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 »