E-Thesis 678 views 738 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 |
| Keywords: |
Formal methods |
|---|---|
| College: |
Faculty of Science and Engineering |