Model transformation of high-level requirements in a domain specific language into a formal specification language

Suraj Ajit, Oyindamola Olajubu, Scott Thomson, Mark Edwards, Gudmund Grov (Editor), Andrew Ireland (Editor)

Research output: Contribution to Conference › Paper › peer-review

Fingerprint

Dive into the research topics of 'Model transformation of high-level requirements in a domain specific language into a formal specification language'. Together they form a unique fingerprint.

Engineering & Materials Science