No Cover Image

E-Thesis 317 views 479 downloads

Designing domain specific lanaguages for verification and applications to the railway domain. / Phillip James

Swansea University Author: Phillip James

Published: 2014
Institution: Swansea University
Degree level: Doctoral
Degree name: Ph.D
URI: https://cronfa.swan.ac.uk/Record/cronfa42823
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2018-08-02T18:55:37Z
last_indexed 2018-08-03T10:11:11Z
id cronfa42823
recordtype RisThesis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-08-02T16:24:30.5701964</datestamp><bib-version>v2</bib-version><id>42823</id><entry>2018-08-02</entry><title>Designing domain specific lanaguages for verification and applications to the railway domain.</title><swanseaauthors><author><sid>3ded05e11923bacd96ee3ddea58b62bd</sid><ORCID>NULL</ORCID><firstname>Phillip</firstname><surname>James</surname><name>Phillip James</name><active>true</active><ethesisStudent>true</ethesisStudent></author></swanseaauthors><date>2018-08-02</date><abstract/><type>E-Thesis</type><journal/><journalNumber></journalNumber><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><issnPrint/><issnElectronic/><keywords>Formal methods</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-12-31</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><degreelevel>Doctoral</degreelevel><degreename>Ph.D</degreename><apcterm/><lastEdited>2018-08-02T16:24:30.5701964</lastEdited><Created>2018-08-02T16:24:30.5701964</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Phillip</firstname><surname>James</surname><orcid>NULL</orcid><order>1</order></author></authors><documents><document><filename>0042823-02082018162524.pdf</filename><originalFilename>10821210.pdf</originalFilename><uploaded>2018-08-02T16:25:24.6870000</uploaded><type>Output</type><contentLength>10546769</contentLength><contentType>application/pdf</contentType><version>E-Thesis</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-08-02T16:25:24.6870000</embargoDate><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2018-08-02T16:24:30.5701964 v2 42823 2018-08-02 Designing domain specific lanaguages for verification and applications to the railway domain. 3ded05e11923bacd96ee3ddea58b62bd NULL Phillip James Phillip James true true 2018-08-02 E-Thesis Formal methods 31 12 2014 2014-12-31 COLLEGE NANME Computer Science COLLEGE CODE Swansea University Doctoral Ph.D 2018-08-02T16:24:30.5701964 2018-08-02T16:24:30.5701964 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Phillip James NULL 1 0042823-02082018162524.pdf 10821210.pdf 2018-08-02T16:25:24.6870000 Output 10546769 application/pdf E-Thesis true 2018-08-02T16:25:24.6870000 false
title Designing domain specific lanaguages for verification and applications to the railway domain.
spellingShingle Designing domain specific lanaguages for verification and applications to the railway domain.
Phillip James
title_short Designing domain specific lanaguages for verification and applications to the railway domain.
title_full Designing domain specific lanaguages for verification and applications to the railway domain.
title_fullStr Designing domain specific lanaguages for verification and applications to the railway domain.
title_full_unstemmed Designing domain specific lanaguages for verification and applications to the railway domain.
title_sort Designing domain specific lanaguages for verification and applications to the railway domain.
author_id_str_mv 3ded05e11923bacd96ee3ddea58b62bd
author_id_fullname_str_mv 3ded05e11923bacd96ee3ddea58b62bd_***_Phillip James
author Phillip James
author2 Phillip James
format E-Thesis
publishDate 2014
institution Swansea University
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2014-12-31T03:53:43Z
_version_ 1763752671671484416
score 11.016235

Similar Items