Sciweavers

3 search results - page 1 / 1
» ftrtft 1994
Sort
View
FTRTFT
1994
Springer
13 years 9 months ago
Tatzelwurm
Thomas Käufl, Stefan Klingenbeck
FTRTFT
1994
Springer
13 years 9 months ago
Specifying and Verifying Fault-Tolerant Systems
Leslie Lamport, Stephan Merz
FTRTFT
1994
Springer
13 years 9 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
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