Conference Paper/Proceeding/Abstract 1886 views
Using Domain Specific Languages to Support Verification in the Railway Domain
Phillip James 
,
Arnold Beckmann ,
Markus Roggenbach
,
Arnold Beckmann ,
Markus Roggenbach
Hardware and Software: Verification and Testing, Volume: 7857, Pages: 274 - 275
Swansea University Authors:
Phillip James , Arnold Beckmann
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-642-39611-3_26
Abstract
Using Domain Specific Languages to Support Verification in the Railway Domain
| Published in: | Hardware and Software: Verification and Testing |
|---|---|
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Springer
2013
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa15231 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
274 |
| End Page: |
275 |