Modeling and verification of real-time systems based on equations-Reference-Cited by-同舟云学术

Modeling and verification of real-time systems based on equations

Author:

Ogata Kazuhiro,Futatsugi Kokichi

Publisher

Elsevier BV

Subject

Software

Reference33 articles.

1. A hidden agenda;Goguen;Theoretical Computer Science,2000

2. Behavioural coherence in object-oriented algebraic specification;Diaconescu;Journal of Universal Computer Science,2000

4. Proof scores in the OTS/CafeOBJ method;Ogata,2003

5. Software Engineering with OBJ: Algebraic Specification in Action,2000

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of an Autonomous Vehicle Control System by the Timed OTS/CafeOBJ Method;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24

3. Investigation of Formal Verification of the Autonomous Vehicle Control System by Specification Translation;2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC);2023-06-25

4. Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method;International Journal of Software Engineering and Knowledge Engineering;2021-12

5. Specification and verification of multitask real-time systems using the OTS/CafeOBJ method;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2021