A formal design notation for real-time systems.

Miguel Felder Mauro Pezzè

Published in: ACM Trans. Softw. Eng. Methodol. (2002)

Keyphrases

real time systems
real time embedded
embedded systems
design process
real time
visual languages
computer science
low cost
solution quality
architectural model