Author:
Delmas Rémi,Doose David,Pires Anthony Fernandes,Polacsek Thomas
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science;K. Anastasakis,2007
2. Bailleux, O., Boufkhad, Y., Roussel, O.: New encodings of Pseudo-Boolean constraints into CNF. In: SAT (2009)
3. Barrett, C., Stump, A., Tinelli, C.: The smt-lib standard: Version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, England (2010)
4. Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artificial Intelligence 168 (October 2005)
5. Cabot, J., Clarisó, R., Riera, D.: Verification of UML/OCL Class Diagrams using Constraint Programming. In: ICSTW 2008 (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Populating MBSE Models from MDAO Analysis;2021 IEEE International Symposium on Systems Engineering (ISSE);2021-09-13
2. Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study;Conceptual Modeling;2017
3. Verifying the structure and behavior in UML/OCL models using satisfiability solvers;IET Cyber-Physical Systems: Theory & Applications;2016-12
4. Verification of Static Aspects;Formal Specification Level;2014-10-10
5. Formal Methods for Exchange Policy Specification;Notes on Numerical Fluid Mechanics and Multidisciplinary Design;2013