No Cover Image

E-Thesis 275 views 470 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
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Formal methods
College: Faculty of Science and Engineering