Author:
Jin Song Dong ,Ping Hao ,Shengchao Qin ,Jun Sun ,Wang Yi
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
2. Automated Verification for Real-Time Systems;Tools and Algorithms for the Construction and Analysis of Systems;2023
3. TASTD: A Real-Time Extension for ASTD;Rigorous State-Based Methods;2023
4. Language Inclusion Checking of Timed Automata Based on Property Patterns;Applied Sciences;2022-12-16
5. Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach;2022 IEEE 24th Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys);2022-12