default search action
BibTeX record journals/corr/abs-2209-14036
@inproceedings{DBLP:journals/corr/abs-2209-14036, author = {Gleifer Vaz Alves and Maike Schwammberger}, editor = {Matt Luckcuck and Marie Farrell}, title = {Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata}, booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems {(FMAS)} and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022}, series = {{EPTCS}}, volume = {371}, pages = {77--85}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.371.6}, doi = {10.4204/EPTCS.371.6}, timestamp = {Tue, 07 May 2024 20:15:31 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-14036.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.