A model-based framework for automatic generation of a pattern language verifier.
Saved in:
| Title: | A model-based framework for automatic generation of a pattern language verifier. |
|---|---|
| Authors: | Rouhi, Alireza1, Zamani, Bahman1, zamani@eng.ui.ac.ir |
| Source: | Software: Practice & Experience; Dec2017, Vol. 47 Issue 12, p1945-1980, 36p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00380644 |
|---|---|
| DOI: | 10.1002/spe.2514 |