Automated validation & verification of UML/OCL models using satisfiability solvers
ShareCopied to clipboardAutomated validation & verification of UML/OCL models using satisfiability solvers is a book. It was written by Nils Przigoda and published by : Springer in 2018.
Key facts
- author: Nils Przigoda
- publication date: 2018
- book publisher: : Springer
- book series: unknown
- book subjects: Engineering, Systems engineering, Computer science
See more factsExtract data
Download datasets about Automated validation & verification of UML/OCL models using satisfiability solvers:
Dataset of books series that contain Automated validation & verification of UML/OCL models using satisfiability solvers:
Dataset of book subjects that contain Automated validation & verification of UML/OCL models using satisfiability solvers:
"Automated validation & verification of UML/OCL models using satisfiability solvers" is one of the books by Nils Przigoda, books by : Springer and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.