Automated validation & verification of UML/OCL models using satisfiability ..

board

Automated validation & verification of UML/OCL models using satisfiability solvers is a book.

select Filter
All
Business
Culture
Environment
Politics
Research
Health

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

Source

This dashboard is based on data from: The British Library

Updated: 97 days ago

License

This content can be used under the CC BY 4.0 license

Mission
Newsroom
Ethics
Careers
Blog
Terms of Use
Privacy policy
© 2024 Work With Data
tw
in
gh
ig