Design and prototyping of real-time systems using CSP and CML.

Hans Rischel Hongyan Sun

Published in: RTS (1997)

Keyphrases

real time systems
real time embedded
design process
embedded systems
architectural model
constraint satisfaction problems
real time
conceptual model
software architecture
object oriented
constraint programming
mission critical