Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms

von Habbachi, Salwa
Veröffentlicht in VECoS (14. : 2020 : Online) Verification and evaluation of computer and communication systems (2020)

On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

von Habbachi, Salwa
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)