Login / Signup
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems.
Xavier Dumas
Frédéric Boniol
Philippe Dhaussy
Eric Bonnafous
Published in:
SIES (2010)
Keyphrases
</>
embedded systems
computing power
embedded software
resource limited
low cost
processing power
real time systems
flash memory
embedded devices
real time image processing
knowledge management
model checking
communication networks
safety critical
partial order reduction