( en | de | ru )

 

Disambiguierung von "Zaraket, Fadi A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Global and Local Deadlock Freedom in BIP.

, , , , , und . ACM Trans. Softw. Eng. Methodol., 26 (3): 9:1-9:48 (2018)

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.

Eckart Fadinger

Tolulope Rhoda Fadina

Fadi Gablawi

Fadi Salti

Fadi Hallak

 

Weitere Publikationen von Autoren mit dem selben Namen

GUICop: Approach and Toolset for Specification-based GUI Testing., , und . CoRR, (2016)Specification Construction Using Behaviours, Equivalences, and SMT Solvers., , , und . CoRR, (2013)Verification at RTL Using Separation of Design Concerns., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (8): 1529-1542 (2019)Nabra: Syrian Arabic Dialects with Morphological Annotations., , , , und . CoRR, (2023)Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules., und . COLING (Demos), Seite 517-526. Indian Institute of Technology Bombay, (2012)Coverage Specification for Test Case Intent Preservation in Regression Suites., , und . ICST Workshops, Seite 392-395. IEEE Computer Society, (2013)MATAr: Morphology-based Tagger for Arabic., und . AICCSA, Seite 1-4. IEEE Computer Society, (2013)From high-level modeling toward efficient and trustworthy circuits., , , und . Int. J. Softw. Tools Technol. Transf., 21 (2): 143-163 (2019)UCov: a User-Defined Coverage Criterion for Test Case Intent Verification., , und . CoRR, (2014)CFAAR: Control Flow Alteration to Assist Repair., , , und . ISSRE Workshops, Seite 208-215. IEEE Computer Society, (2018)