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

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems
1. Verfasser:	Habbachi, Salwa (VerfasserIn)
Weitere Verfasser:	Hafaiedh, Imene Ben (VerfasserIn), Li, Zhiwu (VerfasserIn), Krichen, Moez (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2024
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Factorization of the State Space Construction for Cyclic Systems with Data	2024	Arcile, Johan
A Comparative Study of Online Cybersecurity Training Platforms	2024	Rehaimi, Abdeslam
White-Box Mutation Testing of Smart Contracts: A Quick Review	2024	Maalej, Afef Jmal
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts	2024	Amrani, Moussa
Blockchain-Based Trust Management for IoMT Environment	2024	Fourati, Mariem
Verified High Performance Computing: The SyDPaCC Approach	2024	Loulergue, Frédéric
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation	2024	Habbachi, Salwa
A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks	2024	Taktak, Wiem
An Enhanced Interface-Based Probabilistic Compositional Verification Approach	2024	Ouchani, Samir
Towards Formal Verification of Node RED-Based IoT Applications	2024	Garfatta, Ikram
Formal Verification of a Post-quantum Signal Protocol with Tamarin	2024	Beguinet, Hugo
A Sound Abstraction Method Towards Efficient Neural Networks Verification	2024	Boudardara, Fateh