( en | de | ru )

 

Disambiguation of "Belli, Fevzi"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker.

, , and . SSIRI (Companion), page 46-53. IEEE Computer Society, (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. You can also use the button next to the name to display some publications already assigned to the person.

Fevzi Belli

Fevzi Belli

Fevzi Belli

Fevzi Belli

Fevzi Belli

 

Other publications of authors with the same name

A Product Assurance Environment for Prolog., and . LPE, page 94-99. IRISA, Campus de Beaulieu, France, (1993)Fehlertolerierende Rechensysteme, 3th Edition.. Informatik-Fachberichte (1987)Ein Ansatz zur Zuverlässigkeits-Optimierung fehlertoleranter Software / Towards reliability optimization of fault-tolerant software., and . it Inf. Technol., 29 (2): 61-68 (1987)Dependability and Software Reuse - Coupling Them by an Industrial Standard.. SERE (Companion), page 145-154. IEEE, (2013)Towards Reliability Optimization of Fault-tolerant Software., and . Elektronische Informationsverarbeitung und Kybernetik, 24 (9): 431-442 (1988)Mutation Operators for Decision Table-Based Contracts Used in Software Testing., , and . UYMS, page 1-6. IEEE, (2020)WG1: Testmethoden für Software - Von der Forschung in die Praxis., and . Software Engineering, volume P-105 of LNI, page 273-274. GI, (2007)Message from the STA 2015 Workshop Organizers., and . COMPSAC Workshops, page 416. IEEE Computer Society, (2015)Heterogeneous Modeling and Testing of Software Product Lines., , and . QRS Companion, page 1079-1088. IEEE, (2021)Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie., , , and . GI Jahrestagung (2), volume P-94 of LNI, page 266-273. GI, (2006)