Validation of Formal Models by Timed Probabilistic Simulation

von Vu, Fabian
Veröffentlicht in ABZ (Veranstaltung : 8. : 2021 : Online) Rigorous State-Based Methods (2021)

Application of Validation Obligations to Security Concerns

von Stock, Sebastian
Veröffentlicht in DEXA (33. : 2022 : Wien) Database and expert systems applications - DEXA 2022 workshops (2022)

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings

Veröffentlicht 2016

Database and Expert Systems Applications - DEXA 2021 Workshops : BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, proceedings

Veröffentlicht 2021

Database and expert systems applications - DEXA 2023 workshops : 34th international conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023 : proceedings

Veröffentlicht 2023

Database and expert systems applications - DEXA 2024 workshops : IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024 : proceedings

Veröffentlicht 2024