Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Konighofer, Robert"'
Publikováno v:
2015 IEEE/RSJ International Conference on Intelligent Robots & Systems (IROS); 2015, p3478-3485, 8p
Autor:
Bloem, Roderick, Hofferek, Georg, Konighofer, Bettina, Konighofer, Robert, Auserlechner, Simon, Spork, Raphael
Publikováno v:
2014 Formal Methods in Computer-Aided Design (FMCAD); 2014, p35-42, 8p
Publikováno v:
2014 Formal Methods in Computer-Aided Design (FMCAD); 2014, p31-34, 4p
Autor:
Seidl, Martina, Konighofer, Robert
Publikováno v:
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/2014, p1-6, 6p
Autor:
Konighofer, Robert, Bloem, Roderick
Publikováno v:
2011 Formal Methods in Computer-Aided Design (FMCAD); 1/ 1/2011, p91-100, 10p