No Cover Image

Conference Paper/Proceeding/Abstract 510 views

Using Domain Specific Languages to Support Verification in the Railway Domain / Phillip James; 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.

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
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 274
End Page: 275