ASTRAL: An Assertion Language for Specifying Realtime Systems.

Carlo Ghezzi Richard A. Kemmerer

Published in: ESEC (1991)

Keyphrases

real time
computing systems
programming language
computer systems
machine learning
retrieval systems
case study
expert systems
distributed systems
building blocks
learning systems
complex systems
language learning