Model-Based Verification of Dynamic System Behavior Against Requirements : Method, Language, and Tool
Wladimir Schamai
Bok 2013
| Utgitt | Linkopings Universitet , 2013
|
|---|---|
| Utgave | 1st ed.
|
| Emner | Modeling languages (Computer science) (Generated by AI.)
Requirements engineering. (Generated by AI.) |
| ISBN | 9789175195056
|
