Christine Hang

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Christine Hang, Panagiotis Manolios, Vasilis Papavasileiou
Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. CAV (2011)