Author:
Alur Rajeev,McDougall Michael,Yang Zijiang
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HYASM: A Tool to Verify Hierarchical Systems;2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2023-12-14
2. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
3. Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers;Electronic Proceedings in Theoretical Computer Science;2017-03-20
4. Behavioral Hierarchy: Exploration and Representation;Computational and Robotic Models of the Hierarchical Organization of Behavior;2013
5. Information flow analysis of scientific workflows;Journal of Computer and System Sciences;2010-09