Phased development of critical real-time systems in timed CSP.

Homayoun Dayani-Fard Andrew J. Malton

Published in: CASCON (1995)

Keyphrases

real time systems
embedded real time systems
real time
timed automata
distributed systems
embedded systems
constraint satisfaction problems
constraint satisfaction
real time database systems
decomposition methods
mission critical
object oriented programming language
artificial intelligence
low cost
petri net