Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa. Verification of CPS Based on Control Loop Using Model Checking. In 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. pages 678-682, IEEE, 2018. [doi]
Abstract is missing.