From post

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.

 

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

Temporal Logics and Structured Plans., и . SCAI, том 4 из Frontiers in Artificial Intelligence and Applications, стр. 901-912. IOS Press, (1989)A software architecture for telerobotics., и . RTS, стр. 86-90. IEEE, (1994)Proving sequential function chart programs using timed automata., , и . Theor. Comput. Sci., 267 (1-2): 141-155 (2001)Pyramide : An Interactive Tool For Modelling Of Teleoperation Environments., и . IROS, стр. 725-730. IEEE, (1988)Proving Sequential Function Chart Programs Using Automata., , и . Workshop on Implementing Automata, том 1660 из Lecture Notes in Computer Science, стр. 149-163. Springer, (1998)Performance evaluation of a controlled flow-shop system with a timed petri net model., , , и . ICINCO-RA, стр. 494-499. INSTICC Press, (2006)An imperative language for task-level planning: Definition in temporal logic., и . Artif. Intell. Eng., 8 (4): 235-251 (1993)The Modelling System PYRAMIDE as an Interactive Help for the Guidance of the Inspection Vehichle CENTAURE., , , и . ISER, том 139 из Lecture Notes in Control and Information Sciences, стр. 347-361. Springer, (1989)Semantics and implementation of a language for telerobotics., , и . IROS, стр. 1807-1812. IEEE, (1997)Grafcet revisited with a synchronous data-flow language., , , и . IEEE Trans. Syst. Man Cybern. Part A, 29 (3): 284-293 (1999)