E-Thesis 296 views 473 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 |