( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Expressiveness of TCTLΔh for Model Checking Distributed Systems.

, , и . ICCCI (1), том 9875 из Lecture Notes in Computer Science, стр. 323-332. Springer, (2016)

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.

Zohra Sbaï

Zohra Saoud

Maryam Zohravi

Vida Zohrabi-Kalantari

Ali Sbaiti

 

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

A data science approach for reliable classification of neuro-degenerative diseases using gait patterns., , , , , , и . J. Reliab. Intell. Environ., 6 (4): 233-247 (2020)GA-based multi-objective optimization technique for medical image denoising in wavelet domain., , , и . J. Intell. Fuzzy Syst., 41 (1): 1575-1588 (2021)On Expressiveness of TCTLΔh for Model Checking Distributed Systems., , и . ICCCI (1), том 9875 из Lecture Notes in Computer Science, стр. 323-332. Springer, (2016)Dates Fruit Classification Using Convolution Neural Networks., , , , , , и . ICICT (3), том 216 из Lecture Notes in Networks and Systems, стр. 757-775. Springer, (2021)D&A4WSC as a Design and Analysis Framework of Web Services Composition., и . PNSE @ Petri Nets, том 1160 из CEUR Workshop Proceedings, стр. 337-338. CEUR-WS.org, (2014)Twitter Analytics for Discovering Socially Important Locations for Business Improvement., , и . ISSPIT, стр. 1-5. IEEE, (2019)Towards TCTLhΔ model checking of time Petri nets., и . CoDIT, стр. 563-568. IEEE, (2016)