( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards accessible integration and deployment of formal tools and techniques.

, , , и . TOPI@ICSE, стр. 19-24. IEEE Computer Society, (2013)

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.

Azer Bestavros

Harijs Azeris

Sebastian Azer

Azer Kilic

Mohamed Azeroual

 

Другие публикации лиц с тем же именем

An information-theoretic framework for field monitoring using autonomously mobile sensors., , , и . Ad Hoc Networks, 9 (6): 1049-1058 (2011)CloudPack - Exploiting Workload Flexibility through Rational Pricing., , , и . Middleware, том 7662 из Lecture Notes in Computer Science, стр. 374-393. Springer, (2012)Software-Defined IDS for securing embedded mobile devices., , и . HPEC, стр. 1-7. IEEE, (2013)Real-Time Mutable Broadcast Disks., и . RTDB, стр. 3-22. Kluwer Academic Publishers, (1997)End-to-end informed VM selection in compute clouds., и . ICC Workshops, стр. 1934-1939. IEEE, (2015)Implications of Selfish Neighbor Selection in Overlay Networks., , , и . INFOCOM, стр. 490-498. IEEE, (2007)Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications., , , и . IACR Cryptology ePrint Archive, (2017)Neuroflight: Next Generation Flight Control Firmware., , и . CoRR, (2019)A hierarchical characterization of a live streaming media workload., , , , и . 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., и . Math. Struct. Comput. Sci., 23 (4): 675 (2013)