ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

White-box validation of collective adaptive systems by statistical model checking and process mining

Time: Wednesday, 30.10

Room: Room 2

Authors: Roberto Casaluce, Max Tschaikowski, Andrea Vandin