Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2024-03, Vol.399, p.101-127
Main Authors: Jilissen, Kevin H.J., Dieleman, Peter, Groote, Jan Friso
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites cdi_FETCH-LOGICAL-c158t-f16956fba4c785d04f2a466f26fabf85a78757e4da0e7e9662ee5e943b2370303
container_end_page 127
container_issue
container_start_page 101
container_title Electronic proceedings in theoretical computer science
container_volume 399
creator Jilissen, Kevin H.J.
Dieleman, Peter
Groote, Jan Friso
description
doi_str_mv 10.4204/EPTCS.399.6
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_4204_EPTCS_399_6</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_4204_EPTCS_399_6</sourcerecordid><originalsourceid>FETCH-LOGICAL-c158t-f16956fba4c785d04f2a466f26fabf85a78757e4da0e7e9662ee5e943b2370303</originalsourceid><addsrcrecordid>eNpNkDtPwzAUhS0EEhV04g94RymOn8mIohYqFYFomaPb5hpcHAfZLqj_nhYYOMt5DGf4CLkq2URyJm-mT6tmORF1PdEnZMSZUQUvK3b6L5-TcUpbdpCouaz1iOBsiD14v6cPQ4feu_BK8xvSZ7d9T1-QMaYMkOlqFwJ62gwhx8HT5T5l7BN1gcJxTDmCC9jReeh2h-LA02n4dHEIPYZ8Sc4s-ITjP78gL7PpqrkvFo938-Z2UWxKVeXClrpW2q5BbkylOiYtB6m15drC2lYKTGWUQdkBQ4O11hxRYS3FmgvDBBMX5Pr3dxOHlCLa9iO6HuK-LVl7hNT-QGoPkFotvgEY2FwJ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment</title><source>ROAD: Directory of Open Access Scholarly Resources</source><creator>Jilissen, Kevin H.J. ; Dieleman, Peter ; Groote, Jan Friso</creator><creatorcontrib>Jilissen, Kevin H.J. ; Dieleman, Peter ; Groote, Jan Friso</creatorcontrib><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.399.6</identifier><language>eng</language><ispartof>Electronic proceedings in theoretical computer science, 2024-03, Vol.399, p.101-127</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c158t-f16956fba4c785d04f2a466f26fabf85a78757e4da0e7e9662ee5e943b2370303</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Jilissen, Kevin H.J.</creatorcontrib><creatorcontrib>Dieleman, Peter</creatorcontrib><creatorcontrib>Groote, Jan Friso</creatorcontrib><title>Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment</title><title>Electronic proceedings in theoretical computer science</title><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><recordid>eNpNkDtPwzAUhS0EEhV04g94RymOn8mIohYqFYFomaPb5hpcHAfZLqj_nhYYOMt5DGf4CLkq2URyJm-mT6tmORF1PdEnZMSZUQUvK3b6L5-TcUpbdpCouaz1iOBsiD14v6cPQ4feu_BK8xvSZ7d9T1-QMaYMkOlqFwJ62gwhx8HT5T5l7BN1gcJxTDmCC9jReeh2h-LA02n4dHEIPYZ8Sc4s-ITjP78gL7PpqrkvFo938-Z2UWxKVeXClrpW2q5BbkylOiYtB6m15drC2lYKTGWUQdkBQ4O11hxRYS3FmgvDBBMX5Pr3dxOHlCLa9iO6HuK-LVl7hNT-QGoPkFotvgEY2FwJ</recordid><startdate>20240327</startdate><enddate>20240327</enddate><creator>Jilissen, Kevin H.J.</creator><creator>Dieleman, Peter</creator><creator>Groote, Jan Friso</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20240327</creationdate><title>Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment</title><author>Jilissen, Kevin H.J. ; Dieleman, Peter ; Groote, Jan Friso</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c158t-f16956fba4c785d04f2a466f26fabf85a78757e4da0e7e9662ee5e943b2370303</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Jilissen, Kevin H.J.</creatorcontrib><creatorcontrib>Dieleman, Peter</creatorcontrib><creatorcontrib>Groote, Jan Friso</creatorcontrib><collection>CrossRef</collection><jtitle>Electronic proceedings in theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Jilissen, Kevin H.J.</au><au>Dieleman, Peter</au><au>Groote, Jan Friso</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment</atitle><jtitle>Electronic proceedings in theoretical computer science</jtitle><date>2024-03-27</date><risdate>2024</risdate><volume>399</volume><spage>101</spage><epage>127</epage><pages>101-127</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><doi>10.4204/EPTCS.399.6</doi><tpages>27</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2075-2180
ispartof Electronic proceedings in theoretical computer science, 2024-03, Vol.399, p.101-127
issn 2075-2180
2075-2180
language eng
recordid cdi_crossref_primary_10_4204_EPTCS_399_6
source ROAD: Directory of Open Access Scholarly Resources
title Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T19%3A04%3A34IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formally%20Modelling%20the%20Rijkswaterstaat%20Tunnel%20Control%20Systems%20in%20a%20Constrained%20Industrial%20Environment&rft.jtitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=Jilissen,%20Kevin%20H.J.&rft.date=2024-03-27&rft.volume=399&rft.spage=101&rft.epage=127&rft.pages=101-127&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.399.6&rft_dat=%3Ccrossref%3E10_4204_EPTCS_399_6%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c158t-f16956fba4c785d04f2a466f26fabf85a78757e4da0e7e9662ee5e943b2370303%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true