No Cover Image

Staff Thesis 1013 views

Designing Domain Specific Languages for Verification and Applications to the Railway Domain

Phillip James Orcid Logo

Swansea University Author: Phillip James Orcid Logo

Published: 2014
URI: https://cronfa.swan.ac.uk/Record/cronfa37076
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering