Author:
Patel Puneet E.,Patil Nitin N.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ESpin: Analyzing Event-Driven Systems in Model Checking;The 12th Conference on Information Technology and Its Applications;2023
2. An Efficient Method for IoT Cross-Platform Backup Software;2022 3rd Information Technology To Enhance e-learning and Other Application (IT-ELA);2022-12-27
3. Enabling Granular Exploration of Sequence Diagrams with Activity Diagrams;2022 International Conference on Computing, Communication, Security and Intelligent Systems (IC3SIS);2022-06-23
4. UML diagram-driven test scenarios generation based on the temporal graph grammar;KSII Transactions on Internet and Information Systems;2021-07-31
5. Conformance Testing of Schedulers for DSL-based Model Checking;Model Checking Software;2019