NULL

Sağlamdemir, O., Şen, A., Dündar, G., “A formal equivalence checking methodology for simulink and register transfer level designs”, International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2012, İspanya, Proc. International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2012.

Türkçe

Meriçli, Ç., Veloso, M., Akın, H.L., “Efficient task execution and refinement through multi-resolution corrective demonstration”, 2012 IEEE International Conference on Robotics and Automation, 2012, 1805-1810, Saint Paul, Minnesota, 2012.

Türkçe

Sayfalar