Login / Signup
Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation.
Mohammed El Shobaki
Published in:
EUROMICRO (1998)
Keyphrases
</>
hardware software
embedded systems
embedded real time systems
hw sw
low cost
real time systems
hardware and software
software systems
model checking
petri net
field programmable gate array
formal methods
design methodology
multi core processors