Author:
Andre Charles,Mallet Frederic,DeAntoni Julien
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Real-Time CCSL: Application to the Mechanical Lung Ventilator;Lecture Notes in Computer Science;2024
2. Re-utilizing Verification Results of UML/OCL Models;Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;2018
3. Timing Aspects;Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;2018
4. A Symbolic Formulation for Models;Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;2018
5. A framework to specify system requirements using natural interpretation of UML/MARTE diagrams;Software & Systems Modeling;2017-03-10