A Reduced Distributed Sate Space for Modular Petri Nets

von Khlifa, Sawsen
Veröffentlicht in International Conference on Advanced Information Networking and Applications (37. : 2023 : Online) Advanced information networking and applications ; Volume 1 (2023)

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

von Klat, Kais
Veröffentlicht in VECoS (15. : 2021 : Online) Verification and evaluation of computer and communication systems (2022)

At Design-Time Approach for Supervisory Control of Opacity

von Souid, Nour Elhouda
Veröffentlicht in CoopIS (28. : 2022 : Bozen) Cooperative information systems (2022)