Linehan, Eamonn; Clarke, Siobhán
(Lero, University of Limerick, 2010)
This document presents a metamodel for the e Hardware Verification Language through example. The e metamodel is captured as a UML 2 profile (UML's mechanism for lightweight extension). Stereotypes from this profile can ...