( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Preliminary Results in Virtual Testing for Smart Buildings.

, , , , и . MobiQuitous, том 73 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 347-349. Springer, (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.

Khalil Tahai

Saoud Asaad Taha

Wael Ahmed Attia Taha

Ali Taha

Mamdouh Mohamed Taha El-Faki

 

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

Safe & Robust Reachability Analysis of Hybrid Systems., , , и . CoRR, (2017)MicroITS: A Scaled-Down ITS Platform., , , и . CyPhy/WESE, том 11615 из Lecture Notes in Computer Science, стр. 214-221. Springer, (2018)Staged Notational Definitions., и . GPCE, том 2830 из Lecture Notes in Computer Science, стр. 97-116. Springer, (2003)Gradual typing for functional languages, и . Seventh Workshop on Scheme and Functional Programming, Technical Report TR-2006-06, стр. 81--92. University of Chicago, (сентября 2006)Multi-Stage Programming: Axiomatization and Type Safety., , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 918-929. Springer, (1998)A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract).. PEPM, стр. 34-43. ACM, (2000)Multi-Stage Programming with Explicit Annotations., и . PEPM, стр. 203-217. ACM, (1997)Multi-Stage Programming., и . ICFP, стр. 321. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment., , , , , и . HPCC/CSS/ICESS, стр. 1093-1096. IEEE, (2015)Reasoning about Multi-stage Programs., и . ESOP, том 7211 из Lecture Notes in Computer Science, стр. 357-376. Springer, (2012)