Verification of CPS Based on Control Loop Using Model Checking.

Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa

Browse the full APSEC paper archive.