Accepted author manuscript, 0.99 MB, PDF document
Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License
Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 25/06/2018 |
---|---|
Host publication | Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018) |
Editors | Simon Bliudze, Saddek Bensalem |
Publisher | EPTCS |
Pages | 52-64 |
Number of pages | 13 |
<mark>Original language</mark> | English |
Event | International Workshop on Methods and Tools for Rigorous System Design - Thessaloniki, Greece Duration: 10/04/2018 → … Conference number: 1 https://project.inria.fr/metrid2018/ |
Workshop | International Workshop on Methods and Tools for Rigorous System Design |
---|---|
Abbreviated title | MeTRiD |
Country/Territory | Greece |
City | Thessaloniki |
Period | 10/04/18 → … |
Internet address |
Name | EPTCS |
---|---|
Volume | 272 |
ISSN (Print) | 2075-2180 |
Workshop | International Workshop on Methods and Tools for Rigorous System Design |
---|---|
Abbreviated title | MeTRiD |
Country/Territory | Greece |
City | Thessaloniki |
Period | 10/04/18 → … |
Internet address |