Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.

Björn Bartels Sabine Glesner

Published in: APSEC (2011)

Keyphrases

low level
high level
constraint satisfaction problems
petri net
model checking
embedded real time systems
distributed systems
distributed environment
cooperative
finite state machines
real time
np hard
fault tolerant
embedded systems