on Embedded Software (EMSOFT)Florence Maraninchi, JiaJie Wang,Partha S Roop,Alain Girault, Michael Bungert,Arnd Hartmanns,Holger Hermanns,Sebastian Fischmeister,Guy Martin Tchamgoue,Hyon-Young Choi,Andrew King,Insup Lee,Yuya Maruyama,Shinpei Kato,Takuya Azumi,Chuchu Fan,James Kapinski,Xiaoqing Jin,Sayan Mitra,Ayca Balkan,Paulo Tabuada,Jyotirmoy Deshmukh,Hadi Ravanbakhsh,Sriram Sankaranarayanan,Miriam García Soto,Pavithra Prabhakar,Stanley Bak,Sagar Chaki,Xia Zeng, Wang Lin,Zhengfeng Yang,Xin Chen,Lilei Wang,Michael Drescher,Vincent Legout,Antonio Barbalace,Binoy Ravindranuser-5d54d8d2530c705f51c2f7fc（2016）被引用0|浏览28摘要The following topics are dealt with: embedded software; software models, programming languages, and verification methods; time-aware instrumentation; and nonlinear systems.更多查看译文上传PDF分享引用加入学术空间AI Read Science数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果，我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问，可以通过电子邮件方式联系我们：report@aminer.cnChat Paper正在生成论文摘要
分享
引用
