Login / Signup

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

Masaki NakamuraShuki HigashiKazutoshi SakakibaraKazuhiro Ogata
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2022)
Keyphrases
  • real time systems
  • multi task
  • similarity measure
  • pairwise
  • mutual information
  • model selection