No Cover Image

E-Thesis 73 views 198 downloads

Designing domain specific lanaguages for verification and applications to the railway domain. / Phillip James

Swansea University Author: Phillip, James

Published: 2014
Institution: Swansea University
Degree level: Doctoral
Degree name: Ph.D
URI: https://cronfa.swan.ac.uk/Record/cronfa42823
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Formal methods
College: College of Science