Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Type:

e-book

Titel:

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Auteur:

Przigoda, Nils; Drechsler, Rolf; Przigoda, Judith; Wille, Robert

Taal:

Engels

Uitgever:

Springer International Publishing 2018

ISBN:

3-319-72813-X
3-319-72814-8

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000001794709