Journal article 1588 views 164 downloads
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
Phillip James 
,
Markus Roggenbach
,
Markus Roggenbach
Mathematics in Computer Science, Volume: 8, Issue: 1, Pages: 11 - 38
Swansea University Authors:
Phillip James , Markus Roggenbach
-
PDF | Accepted Manuscript
Download (540.06KB)
DOI (Published version): 10.1007/s11786-014-0174-0
Abstract
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
| 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!
|
| first_indexed |
2015-05-29T02:08:33Z |
|---|---|
| last_indexed |
2019-07-17T20:19:06Z |
| id |
cronfa21768 |
| recordtype |
SURis |
| fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2019-07-17T14:48:30.8743356</datestamp><bib-version>v2</bib-version><id>21768</id><entry>2015-05-28</entry><title>Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans</title><swanseaauthors><author><sid>fd3b15ff96c5ea91a100131abac558b6</sid><ORCID>0000-0002-4307-649X</ORCID><firstname>Phillip</firstname><surname>James</surname><name>Phillip James</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-05-28</date><deptcode>SCS</deptcode><abstract/><type>Journal Article</type><journal>Mathematics in Computer Science</journal><volume>8</volume><journalNumber>1</journalNumber><paginationStart>11</paginationStart><paginationEnd>38</paginationEnd><publisher/><issnPrint>1661-8270</issnPrint><issnElectronic>1661-8289</issnElectronic><keywords/><publishedDay>24</publishedDay><publishedMonth>4</publishedMonth><publishedYear>2014</publishedYear><publishedDate>2014-04-24</publishedDate><doi>10.1007/s11786-014-0174-0</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-07-17T14:48:30.8743356</lastEdited><Created>2015-05-28T12:03:43.9655002</Created><authors><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>1</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>2</order></author></authors><documents><document><filename>0021768-28052015120550.pdf</filename><originalFilename>hugo.pdf</originalFilename><uploaded>2015-05-28T12:05:50.0130000</uploaded><type>Output</type><contentLength>602311</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-05-28T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807> |
| spelling |
2019-07-17T14:48:30.8743356 v2 21768 2015-05-28 Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2015-05-28 SCS Journal Article Mathematics in Computer Science 8 1 11 38 1661-8270 1661-8289 24 4 2014 2014-04-24 10.1007/s11786-014-0174-0 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-07-17T14:48:30.8743356 2015-05-28T12:03:43.9655002 Phillip James 0000-0002-4307-649X 1 Markus Roggenbach 0000-0002-3819-2787 2 0021768-28052015120550.pdf hugo.pdf 2015-05-28T12:05:50.0130000 Output 602311 application/pdf Accepted Manuscript true 2015-05-28T00:00:00.0000000 true |
| title |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans |
| spellingShingle |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans Phillip James Markus Roggenbach |
| title_short |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans |
| title_full |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans |
| title_fullStr |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans |
| title_full_unstemmed |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans |
| title_sort |
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans |
| author_id_str_mv |
fd3b15ff96c5ea91a100131abac558b6 7733869ae501442da6926fac77cd155b |
| author_id_fullname_str_mv |
fd3b15ff96c5ea91a100131abac558b6_***_Phillip James 7733869ae501442da6926fac77cd155b_***_Markus Roggenbach |
| author |
Phillip James Markus Roggenbach |
| author2 |
Phillip James Markus Roggenbach |
| format |
Journal article |
| container_title |
Mathematics in Computer Science |
| container_volume |
8 |
| container_issue |
1 |
| container_start_page |
11 |
| publishDate |
2014 |
| institution |
Swansea University |
| issn |
1661-8270 1661-8289 |
| doi_str_mv |
10.1007/s11786-014-0174-0 |
| document_store_str |
1 |
| active_str |
0 |
| published_date |
2014-04-24T03:25:52Z |
| _version_ |
1763750919486308352 |
| score |
11.016235 |