Automated validation & verification of UML/OCL models using satisfiability solvers
| मुख्य लेखकों: | , , , |
|---|---|
| निगमित लेखक: | |
| स्वरूप: | Electronic Resource |
| भाषा: | English |
| प्रकाशित: |
Cham
Springer International Publishing AG
[2018]
|
| विषय: | |
| ऑनलाइन पहुंच: | Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy |