A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs.

Adrian Rumpold, Bernhard Bauer

Browse the full MODELSWARD paper archive.