E-Thesis 375 views 503 downloads
Designing domain specific lanaguages for verification and applications to the railway domain. / Phillip James
Swansea University Author: Phillip James
-
PDF | E-Thesis
Download (10.15MB)
Abstract
Designing domain specific lanaguages for verification and applications to the railway domain.
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: |
Faculty of Science and Engineering |