Login / Signup
Process Algebraic Specification, Refinement, and Verification of Embedded Systems.
Stefan Förster
Marco Fischer
Dieter Monjau
André Windisch
Burkhard Balser
Published in:
FDL (2003)
Keyphrases
</>
embedded systems
low cost
computing power
asynchronous circuits
refinement process
processing power
hw sw
case study
high level
software systems
model checking
formal verification
embedded devices
real time image processing
hardware software
resource limited