No Cover Image

Journal article 678 views 28 downloads

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans / Phillip James; Markus Roggenbach

Mathematics in Computer Science, Volume: 8, Issue: 1, Pages: 11 - 38

Swansea University Authors: Phillip, James, Markus, Roggenbach

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