Cited By
View all- Andrei ŞCheng A(2009)Efficient Verification and Optimization of Real-Time Logic-Specified SystemsIEEE Transactions on Computers10.1109/TC.2009.7958:12(1640-1653)Online publication date: 1-Dec-2009
- Andrei SCheng A(2008)Optimizing Automotive Cyber-Physical System Specifications with Multi-Event DependenciesProceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing10.1109/SYNASC.2008.16(475-479)Online publication date: 26-Sep-2008
- Broy MKruger IPretschner ASalzmann C(2007)Engineering Automotive SoftwareProceedings of the IEEE10.1109/JPROC.2006.88838695:2(356-373)Online publication date: Feb-2007
- Show More Cited By