Author:
Bharadwaj R.,Heitmeyer C.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Review of Applications of Formal Specification in Safety-Critical System Development;Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis;2020-03-09
2. Building high assurance human-centric decision systems;Automated Software Engineering;2014-11-13
3. MR4UM: A framework for adding fault tolerance to UML state diagrams;Theoretical Computer Science;2013-07
4. A Software Tool for Legal Drafting;Electronic Proceedings in Theoretical Computer Science;2011-09-12
5. A Tabular Expression Toolbox for Matlab/Simulink;Lecture Notes in Computer Science;2011