[ACM Press the 7th ACM international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08 - Interface theories with component reuse
Doyen, Laurent; Henzinger, Thomas A.; Jobstmann, Barbara; Petrov, Tatjana
- 作者Doyen, Laurent; Henzinger, Thomas A.; Jobstmann, Barbara; Petrov, Tatjana
- 文件大小259.68KB
- 发表时间2008
- DOI10.1145/1450058.1450070