by Qin, Shengchao, Qiu, Zongyan
Year of Publication 2011

Published in Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design (11.07.2005)

Year of Publication 01.01.2006

Year of Publication 01.10.2013

Year of Publication 01.01.2004

Year of Publication 11.07.2005

Year of Publication 15.10.2018

Year of Publication 30.05.2007

Year of Publication 01.06.2008

Year of Publication 13.07.2009

Published in 2006 IEEE/ACM 4th International Conference on Formal Methods and Models for Co-Design (2006)

Year of Publication 24.06.2003

by ACM & IEEE International Conference on Formal Methods and Models for Co-Design, IEEE Computer Society. Design Automation Technical Committee, IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation
Year of Publication 2003

Published in ACM transactions on embedded computing systems (01.02.2019)

by Derler, Patricia, Schneider, Klaus, Talpin, Jean-Pierre
Published in ACM transactions on embedded computing systems (01.11.2018)

by Chiou, D.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)

by Wenchao Li, Dworkin, L., Seshia, S. A.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)

by Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T., Peled, D.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)

by Slobodova, Anna, Davis, Jared, Swords, Sol, Hunt, Warren
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)

by Papamichael, M. K.
Published in 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (01.07.2011)