The Composability of ASTRAL Realtime Specifications.

Alberto Coen-Porisini Richard A. Kemmerer

Published in: ISSTA (1993)

Keyphrases

real time
specification language
high level
high speed
quality of service
real time systems
formal specification
delay insensitive
information retrieval
multiscale
functional requirements
control flow
painterly rendering