The timer cascade: functional modelling and real-time calculi

Thumbnail
Metadata
Show full item record
Authors
Boute, Raymond; Schaffer, Rainer
Conference
The Theoretical Aspects of Computing - ITAC
Title
The timer cascade: functional modelling and real-time calculi
Publication type
Proceedings paper
Collections