Journal article 1710 views 186 downloads
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
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 |