Virtual Integration of Cyber-Physical Systems by Verification (2010)

by P Manolios, V Papavasileiou
Venue:In AVICPS