Publications by <!-- THEME DEBUG --> <!-- THEME HOOK: 'views_view_field' --> <!-- 💡 BEGIN CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' --> Zeliha Dilsun Kaynar <!-- END CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' -->

Conference

Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems

2003 • Proceedings - Real-Time Systems Symposium • 166-177
Kaynar DK, Lynch N, Segala R, Vaandrager F
Displaying 26 - 28 of 28