( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of a Timed Multitask System With Uppaal.

, , , , и . IEEE Trans Autom. Sci. Eng., 7 (4): 921-932 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Houda Zaidi

Stanislav Bel

Walter Houda

Basel Houdali

Valer Bel

 

Другие публикации лиц с тем же именем

Timed Temporal Logics for Abstracting Transient States., , , и . ATVA, том 4218 из Lecture Notes in Computer Science, стр. 337-351. Springer, (2006)A New Modality for Almost Everywhere Properties in Timed Automata., , , и . CONCUR, том 3653 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2005)Verification of a Timed Multitask System With Uppaal., , , , и . IEEE Trans Autom. Sci. Eng., 7 (4): 921-932 (2010)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)