( en | de | ru )

 

Disambiguierung von "Bestavros, Azer"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards accessible integration and deployment of formal tools and techniques.

, , , und . TOPI@ICSE, Seite 19-24. IEEE Computer Society, (2013)

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.

Azer Bestavros

Harijs Azeris

Sebastian Azer

Azer Kilic

Mohamed Azeroual

 

Weitere Publikationen von Autoren mit dem selben Namen

An information-theoretic framework for field monitoring using autonomously mobile sensors., , , und . Ad Hoc Networks, 9 (6): 1049-1058 (2011)CloudPack - Exploiting Workload Flexibility through Rational Pricing., , , und . Middleware, Volume 7662 von Lecture Notes in Computer Science, Seite 374-393. Springer, (2012)Software-Defined IDS for securing embedded mobile devices., , und . HPEC, Seite 1-7. IEEE, (2013)Real-Time Mutable Broadcast Disks., und . RTDB, Seite 3-22. Kluwer Academic Publishers, (1997)End-to-end informed VM selection in compute clouds., und . ICC Workshops, Seite 1934-1939. IEEE, (2015)Implications of Selfish Neighbor Selection in Overlay Networks., , , und . INFOCOM, Seite 490-498. IEEE, (2007)Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications., , , und . IACR Cryptology ePrint Archive, (2017)Neuroflight: Next Generation Flight Control Firmware., , und . CoRR, (2019)A hierarchical characterization of a live streaming media workload., , , , und . IEEE/ACM Trans. Netw., 14 (1): 133-146 (2006)Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems., und . Math. Struct. Comput. Sci., 23 (4): 675 (2013)