Staff Thesis 651 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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| College: |
Faculty of Science and Engineering |
|---|