The following publications are possibly variants of this publication:
- Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ MethodMasaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001. ijseke, 31(11&12):1541-1559, 2021. [doi]
- Formal verification of multitask hybrid systems by the OTS/CafeOBJ methodMasaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001. seke 2021: 114-119 [doi]
- Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S)Yifan Wang, Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura. seke 2023: 363-366 [doi]
- Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ methodMasaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, azuhiro Ogata. sice 2020: 1210-1215 [doi]