Rigorous system level modeling and analysis of mixed HW/SW systems
Bourgos, P., Basu, A., Bozga, M., Bensalem, S., Sifakis, J., Huang, K.
Published in Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) (01.07.2011)
Published in Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) (01.07.2011)
Get full text
Conference Proceeding