Login / Signup
Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata.
Paula Herber
Published in:
Ausgezeichnete Informatikdissertationen (2010)
Keyphrases
</>
first order logic
timed automata
hw sw
image processing
real time
model checking
hardware software partitioning
reachability analysis
design methodology
theorem prover
hardware software
wireless sensor networks