Login / Signup
Rigorous system level modeling and analysis of mixed HW/SW systems.
Paraskevas Bourgos
Ananda Basu
Marius Bozga
Saddek Bensalem
Joseph Sifakis
Kai Huang
Published in:
MEMOCODE (2011)
Keyphrases
</>