Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.

Manuel I. Capel José R. Balsas Juan Antonio Holgado Terriza

Published in: VVEIS (2004)

Keyphrases

real time systems
real time embedded
embedded systems
architectural model
real time
constraint satisfaction problems
formal specification
case study
high level
distributed systems
building blocks
conceptual model
real time database systems
concurrent systems
object oriented programming language