Research Output per year
Research Output per year
Search results
-
Chapter
Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems
Zheng, B., Liang, H., Wang, Z. & Zhu, Q., 2019, Safe, Autonomous and Intelligent Vehicles. Yu, H., Li, X., Murray, R. M., Ramesh, S. & Tomlin, C. J. (eds.). Springer International Publishing, p. 163-186 24 p. (Unmanned System Technologies).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
SAT sweeping with local observability don't-cares
Zhu, Q., Kitchen, N. B., Kuehlmann, A. & Sangiovanni-Vincentelli, A., Dec 1 2011, Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer New York, p. 129-148 20 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter