Suchergebnisse - Jmaiel, Mohamed

Development of communication protocols with algebraic temporal specifications

von Jmaiel, Mohamed

Inhaltsverzeichnis

Development of communication protocols by composing and refining temporal specifications

von Jmaiel, Mohamed

Inhaltsverzeichnis

Specifying communication protocols with temporal logic

von Jmaiel, Mohamed

Inhaltsverzeichnis

Safe and efficient runtime testing framework applied in dynamic and distributed systems

von Lahami, Mariam, Krichen, Moez 1980-, Jmaiel, Mohamed 1966-

The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings

Weitere beteiligte Personen: “… Jmaiel, Mohamed 1966- …”
Online lesen (frei zugänglich)

Risks and Security of Internet and Systems: 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers

Weitere beteiligte Personen: “… Jmaiel, Mohamed …”
Online lesen

Pattern Recognition and Artificial Intelligence: 4th Mediterranean Conference, MedPRAI 2020, Hammamet, Tunisia, December 20–22, 2020, Proceedings

Weitere beteiligte Personen: “… Jmaiel, Mohamed …”

The impact of digital technologies on public health: 18th international conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020 : proceedings

Weitere beteiligte Personen: “… Jmaiel, Mohamed 1966- …”

Risks and security of internet and systems: 17th international conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022 : revised selected papers

Weitere beteiligte Personen: “… Jmaiel, Mohamed 1966- …”