Shuki Higashi

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Mutual Exclusion

Evolutionary Algorithm

Top Venues

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

Publications

Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2022)
Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. SICE (2020)