No Cover Image

Journal article 776 views 44 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

Tags: Add Tag
No Tags, Be the first to tag this record!
Issue: 1
Start Page: 11
End Page: 38