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]
@article{NakamuraHSO22,
title = {Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method},
author = {Masaki Nakamura 0001 and Shuki Higashi and Kazutoshi Sakakibara and Kazuhiro Ogata 0001},
year = {2022},
doi = {10.1587/transfun.2021map0007},
url = {https://doi.org/10.1587/transfun.2021map0007},
researchr = {https://researchr.org/publication/NakamuraHSO22},
cites = {0},
citedby = {0},
journal = {IEICE Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {105-A},
number = {5},
pages = {823-832},
}