Author:
Andrews James H.,Zhang Yingjun
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automation of Trace Analysis;2023 2nd International Conference on Advancements in Electrical, Electronics, Communication, Computing and Automation (ICAECA);2023-06-16
2. Using formal models to cross check an implementation;Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems;2016-06-21
3. Mining Finite-State Automata with Annotations;Mining Software Specifications;2011-05-24
4. Identity Management and Audit Trail Support for Privacy Protection in E-Health Networks;Certification and Security in Health-Related Web Applications;2011
5. A requirements monitoring framework for enterprise systems;Requirements Engineering;2005-11-23