Imene Ben und Hafaiedh - Info zur Person

(1 - 14 von 14

)

Proceedings of the 8th International Conference on Sciences of ...

books.google.se

350 Jamila Hcine and Imene Ben Hafaiedh Model Based Validation of Real Time QoS for NCDCLA Protocol in Wireless Sensor Networks .

Verification and Evaluation of Computer and Communication Systems: ...

books.google.se

64 Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, ...

Formal Methods and Software Engineering: 12th International...

books.google.de

University of Ilmenau: TimeNET, http://www.tu-ilmenau.de/TimeNET Reasoning about Safety and Progress Using Contracts Imene Ben-Hafaiedh, Susanne ...

[ ] Implementing Distributed Controllers for Systems with...

arxiv.org

Authors: Imene Ben-Hafaiedh (Universite Joseph Fourier/VERIMAG), Susanne Graf (Universite Joseph Fourier/VERIMAG), Hammadi ...

Imene Ben Hafaiedh - DBLPdblp.uni-trier.de › Imene Ben Hafaiedh

dblp.uni-trier.de

List of computer science publications by Imene Ben Hafaiedh Roberto Passerone , Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, ...

Imene Ben HafaiedhDBLP

dblp.org

— Imene Ben Hafaiedh , Maroua Ben Slimane: A distributed formal-based model for self-healing behaviors in autonomous systems: from failure ...

Search results for "Susanne Graf" – FacetedDBLP

dblp.l3s.uni-hannover.de

... ) Iulian Ober(16) Joseph Sifakis(15) Marius Bozga(11) Laurent Mounier(10) Sophie Quinton(9) Ileana Ober(8) Frank S. de Boer(6) Imene Ben Hafaiedh(6) ...

Imene Ben Hafaiedh - Google 학술 검색Google Scholar

scholar.google.co.nz

Imene Ben Hafaiedh. University of Tunis El Manar. isi.utm.tn의 이메일 확인됨 - 홈페이지 · Formal VerificationDistributed systems. 학술자료인용 ...

Imene Ben HafaiedhGoogle Scholar

scholar.google.com

Imene Ben Hafaiedh. University of Tunis El Manar. Verified email at isi.utm.tn - Homepage · Formal VerificationDistributed systems. ArticlesCited by ...

exposé candidature maitre de conférence ppt - PDF Prof

pdfprof.com

Web6 mai · Imene BEN HAFAIEDH Maître Assistant à L'Institut Supérieur allel Processing - 16th International Conference, ICA3PP 2016, Grenade, PDF [PDF] Sur la mastérisation …

Publikationen // Universität Oldenburg

uol.de

... {Roberto Passerone and Imene Ben Hafaiedh and Susanne Graf and Albert Benveniste and Daniela Cancila and Arnaud Cuccuru and Sebastien Gerard and …

CiteSeerX — From Orchestration to Choreography: Memoryless and...

citeseerx.ist.psu.edu

by Sophie Quinton , Imene Ben-hafaiedh , Susanne Graf ... author = {Sophie Quinton and Imene Ben-hafaiedh and Susanne Graf}, title = {From Orchestration to ...

CiteSeerX — A Contract Framework for Reasoning about Safety and...

citeseerx.ist.psu.edu

author = {Imene Ben-Hafaiedh and Susanne Graf and Sophie Quinton}, title = {A Contract Framework for Reasoning about Safety and Progress}, year = {2010}

Alle Infos zum Namen "Imene Ben"

Verwandte Suchanfragen zu Imene Ben

Susanne Graf

Person "Ben" (1)
Vorname "Imene" (39)
Name "Ben" (2139)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Imene Ben und Hafaiedh Person-Info