Design and Verification of Real-Time Systems.

J. V. Phillips Thomas H. Bredt

Published in: ICSE (1976)

Keyphrases

real time systems
embedded systems
real time embedded
user interface
functional verification
real time
conceptual model
real time database systems
case study
software systems
software architecture
architectural model