Shuki Higashi

According to our database, Shuki Higashi authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method.

Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022

2020

Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method.

Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata

Proceedings of the 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, 2020