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 Ravindran user-5d54d8d2530c705f51c2f7fc(2016)
摘要
The following topics are dealt with: embedded software; software models, programming languages, and verification methods; time-aware instrumentation; and nonlinear systems.
更多 查看译文
AI 理解论文
溯源树
样例