Designing domain specific languages for verification and applications to the railway domain

Designing domain specific languages for verification and applications to the railway domain

Bibliographic Details
Main Author: James, Phillip
Published: Swansea University 2014
Online Access:https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.752325
id ndltd-bl.uk-oai-ethos.bl.uk-752325
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-7523252019-02-05T03:18:24ZDesigning domain specific languages for verification and applications to the railway domainJames, Phillip2014Swansea University https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.752325https://cronfa.swan.ac.uk/Record/cronfa42823Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
author James, Phillip
spellingShingle James, Phillip
Designing domain specific languages for verification and applications to the railway domain
author_facet James, Phillip
author_sort James, Phillip
title Designing domain specific languages for verification and applications to the railway domain
title_short Designing domain specific languages for verification and applications to the railway domain
title_full Designing domain specific languages for verification and applications to the railway domain
title_fullStr Designing domain specific languages for verification and applications to the railway domain
title_full_unstemmed Designing domain specific languages for verification and applications to the railway domain
title_sort designing domain specific languages for verification and applications to the railway domain
publisher Swansea University
publishDate 2014
url https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.752325
work_keys_str_mv AT jamesphillip designingdomainspecificlanguagesforverificationandapplicationstotherailwaydomain
_version_ 1718972478274928640

Similar Items