システム数理と応用（MSS）研究会（2019/3/14-15,福井大）

投稿日: 2019/04/01 5:37:40

院生の東さんが，2019/3/14-15に福井大学で開催されたシステム数理と応用（MSS）研究会のWork In Progressセッションにて「OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述」についての研究成果を発表しました．