Yehia Abd Alrahman

Doktor vid Formella metoder

Länk till personlig sida

Källa: chalmers.se
Image of Yehia Abd Alrahman

Visar 3 publikationer

2020

A distributed API for coordinating AbC programs

Yehia Abd Alrahman, Giulio Garbi
International Journal on Software Tools for Technology Transfer. Vol. 22 (4), p. 477-496
Artikel i vetenskaplig tidskrift
2019

A coordination protocol language for power grid operation control

Yehia Abd Alrahman, Hugo Torres Vieira
Journal of Logical and Algebraic Methods in Programming. Vol. 109
Artikel i vetenskaplig tidskrift
2019

Testing for coordination fidelity

Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Lecture Notes in Computer Science, p. 152-169
Kapitel i bok

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Det finns inga projekt att visa.
Det kan finnas fler projekt där Yehia Abd Alrahman medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.