Skip to main content
Journal Article

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

  • NAKAMURA M
  • HIGASHI S
  • SAKAKIBARA K
  • et al.
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2022) E105.A(5) 823-832
DOI: 10.1587/transfun.2021map0007
4Citations
Citations of this article
N/AReaders
Mendeley users who have this article in their library.
Get full text

Cite

CITATION STYLE

APA

NAKAMURA, M., HIGASHI, S., SAKAKIBARA, K., & OGATA, K. (2022). Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E105.A(5), 823–832. https://doi.org/10.1587/transfun.2021map0007

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free