A model-based framework for automatic generation of a pattern language verifier.

Saved in:
Bibliographic Details
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
Description
ISSN:00380644
DOI:10.1002/spe.2514