Towards Standard-Based Specification and Design of Embedded Real-Time Systems.

Roman Gumzej Matjaz Colnaric Domen Verber Wolfgang A. Halang

Published in: EUROMICRO (1998)

Keyphrases

real time
e learning
high level
building blocks
design process
formal methods