Staff Thesis 1551 views
Designing Domain Specific Languages for Verification and Applications to the Railway Domain
Phillip James 
Swansea University Author:
Phillip James
Abstract
Designing Domain Specific Languages for Verification and Applications to the Railway Domain
| Published: |
2014
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa37076 |
| College: |
Faculty of Science and Engineering |
|---|