( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Developing a first course on cyber-physical systems.

, , , , , , , и . SIGBED Review, 14 (1): 44-52 (2016)

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

Elias Tahalele

Wael Ahmed Attia Taha

Ali Taha

 

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

Safe & Robust Reachability Analysis of Hybrid Systems., , , и . CoRR, (2017)Gradual typing for functional languages, и . Seventh Workshop on Scheme and Functional Programming, Technical Report TR-2006-06, стр. 81--92. University of Chicago, (сентября 2006)MicroITS: A Scaled-Down ITS Platform., , , и . CyPhy/WESE, том 11615 из Lecture Notes in Computer Science, стр. 214-221. Springer, (2018)Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment., , , , , и . HPCC/CSS/ICESS, стр. 1093-1096. IEEE, (2015)Multi-Stage Programming: Axiomatization and Type Safety., , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 918-929. Springer, (1998)Staged Notational Definitions., и . GPCE, том 2830 из Lecture Notes in Computer Science, стр. 97-116. Springer, (2003)Reasoning about Multi-stage Programs., и . ESOP, том 7211 из Lecture Notes in Computer Science, стр. 357-376. Springer, (2012)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.