Author:
Ratiu Daniel,Gario Marco,Schoenhaar Hannes
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An embedding of B in Clojure;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23
2. A systematic literature review on counterexample explanation;Information and Software Technology;2022-05
3. Novel development tool for IEC 61499 based on domain-specific languages;IFAC-PapersOnLine;2022
4. Integration and Orchestration of Analysis Tools;Composing Model-Based Analysis Tools;2021
5. FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems;Domain-Specific Languages in Practice;2021