Embedded Systems Specification and Modeling
Rajesh Gupta,Anand Raghunathan,Tarek Abdelzaher,Sandeep K Shukla,Virginia Polytechnic,Paulo Tabuada,Pai H Chou,Prabal Dutta,Ryan Kastner,David Atienza,Donatella Sciuto,Yosinori Watanabe,Sanjit A Seshia,Hiroyuki Tomiyama,Tulika Mitra,S Ramesh,General Motors,Andreas Kuehlmann,Jack G Ganssle,Dinesh Ramanathan,Cypress Semiconductor mag(2010)
AI 理解论文
溯源树
样例