Automated validation & verification of UML/OCL models using satisfiability ..
Book
All
Business
Culture
Environment
Health
Politics
Research
Key facts
- Author: Nils Przigoda
- Isbn: 3319728148
- Bnb id: GBB8M3598
- Language: eng
- Publication date: 2018
- book publisher: : Springer
- Book subject: Engineering, Systems engineering, Computer science, Object-oriented methods (Computer science), UML (Computer science), Electronics, Computer software-Verification, Computer software-Validation
Latest news
Sorry there is no related news yet.
Visualizations
Datasets
rows
Book series where Book equals Automated validation & verification of UML/OCL models using satisfiability solvers
rows
Book subjects where Book equals Automated validation & verification of UML/OCL models using satisfiability solvers
rows
Books by Nils Przigoda
rows
Books where book publisher is : Springer
rows
Books called Automated validation & verification of UML/OCL models using satisfiability solvers
Source
Updated: 86 days ago