Runtime verification 23rd international conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, proceedings

Weitere Verfasser: “… Katsaros, Panagiotis 1969- …”

Volltext

Model-based safety and assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019 : proceedings

Weitere Verfasser: BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Runtime verification 23rd international conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings

Weitere Verfasser: “… Katsaros, Panagiotis 1969- …”