Author:
Găină Daniel,Lucanu Dorel,Ogata Kazuhiro,Futatsugi Kokichi
Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Advances of proof scores in CafeOBJ;Science of Computer Programming;2022-12
2. Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method;International Journal of Software Engineering and Knowledge Engineering;2021-12
3. Advances of Proof Scores in CafeOBJ : Invited Paper;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
4. Specification and verification of multitask real-time systems using the OTS/CafeOBJ method;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2021
5. A Constructor-Based Reachability Logic for Rewrite Theories;Fundamenta Informaticae;2020-03-31