Sciweavers

2 search results - page 1 / 1
» ftrtft 1992
Sort
View
FTRTFT
1992
Springer
14 years 2 months ago
Specifying Asynchronous Transfer of Control
Padmanabhan Krishnan, Peter D. Mosses
FTRTFT
1992
Springer
14 years 2 months ago
Specification and Verification of Real-Time Behaviour Using Z and RTL
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
Colin J. Fidge