Formal Platform-Independent Design of Real-Time Systems.

A. Sintoski Dieter K. Hammer Onno S. van Roosmalen Jozef Hooman

Published in: ECRTS (2001)

Keyphrases

platform independent
real time systems
embedded systems
real time embedded
architectural model
real time
databases
distributed systems
reverse engineering
model driven
artificial intelligence
design process