A logic-based modeling and verification of CPS

Neda Saeedloei, Gopal Gupta. A logic-based modeling and verification of CPS. SIGBED Review, 8(2):31-34, 2011. [doi]

Abstract

Abstract is missing.