Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata 0001. Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 105-A(5):823-832, 2022. [doi]

This author has not been identified. Look up 'Masaki Nakamura 0001' in GoogleThis author has not been identified. Look up 'Shuki Higashi' in GoogleThis author has not been identified. Look up 'Kazutoshi Sakakibara' in GoogleThis author has not been identified. Look up 'Kazuhiro Ogata 0001' in Google

runs on WebDSL