Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
1
Argitaratua 2013
Aurkibidea:
“... Execution Engine -- MoTraS: A Tool for Modal Transition Systems and Their Extensions -- Cunf: A Tool...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... for Parallel Robots -- LQP-Based Controller Design for Humanoid Whole-Body Motion -- Persistent Screw Systems...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“...-Redundancy -- Distributed Systems -- On Endogenous Reconfiguration in Mobile Robotic Networks -- Simultaneous...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“...Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2007
Aurkibidea:
“... Abstracts -- On the Connection Between the Phase Transition of the Covering Test and the Learning Success...”Testu osoa
Baliabide elektronikoa
eBook