Journal article 1460 views 154 downloads
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
Phillip James 
,
Markus Roggenbach
,
Markus Roggenbach
Mathematics in Computer Science, Volume: 8, Issue: 1, Pages: 11 - 38
Swansea University Authors:
Phillip James , Markus Roggenbach
-
PDF | Accepted Manuscript
Download (540.06KB)
DOI (Published version): 10.1007/s11786-014-0174-0
Abstract
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
| Published in: | Mathematics in Computer Science |
|---|---|
| ISSN: | 1661-8270 1661-8289 |
| Published: |
2014
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa21768 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Issue: |
1 |
|---|---|
| Start Page: |
11 |
| End Page: |
38 |