( en | de | ru )

 

Disambiguierung von "Mokadem, Houda Bel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Timed Temporal Logics for Abstracting Transient States.

, , , und . ATVA, Volume 4218 von Lecture Notes in Computer Science, Seite 337-351. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Houda Zaidi

Stanislav Bel

Walter Houda

Basel Houdali

Valer Bel

 

Weitere Publikationen von Autoren mit dem selben Namen

Timed Temporal Logics for Abstracting Transient States., , , und . ATVA, Volume 4218 von Lecture Notes in Computer Science, Seite 337-351. Springer, (2006)Verification of a Timed Multitask System With Uppaal., , , , und . IEEE Trans Autom. Sci. Eng., 7 (4): 921-932 (2010)A New Modality for Almost Everywhere Properties in Timed Automata., , , und . CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 110-124. Springer, (2005)Vérification des propriétés temporisées des automates programmables industriels. (Verification of timed properties of programmable logic controllers).. École normale supérieure de Cachan, France, (2006)