| Original language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science book series |
| Pages | 491-509 |
| Number of pages | 19 |
| Publication status | Published - 2019 |
| Event | International Conference on Software Engineering and Formal Methods - Duration: 18 Sept 2019 → 20 Sept 2019 |
Conference
| Conference | International Conference on Software Engineering and Formal Methods |
|---|---|
| Period | 18/09/19 → 20/09/19 |
Research Field
- Dependable Systems Engineering