No Cover Image

Journal article 861 views 85 downloads

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans

Phillip James Orcid Logo, Markus Roggenbach Orcid Logo

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

Swansea University Authors: Phillip James Orcid Logo, Markus Roggenbach Orcid Logo

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