Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models

Daniel Dunbar, Thomas Hagedorn, Mark Blackburn, Dinesh Verma

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations

    Fingerprint

    Dive into the research topics of 'Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models'. Together they form a unique fingerprint.

    Computer Science