PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sánchez-Palma, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
An approach to modeling and developing teleo-reactive systems considering timing constraints.

, , , , and . Journal of Systems and Software, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Carlos Sánchez Delgado University of Stuttgart

Dr. -Ing. Daniela Sanchez University of Stuttgart

Dr. Elisete Pedrollo University of Stuttgart

Sergio Gutierrez Sanchez University of Stuttgart

Dr. rer. nat. Gabriela Garces Sanchez University of Stuttgart

 

Other publications of authors with the same name

An architectural framework for modeling teleoperated service robots., , , and . Robotica, 24 (4): 411-418 (2006)An approach to modeling and developing teleo-reactive systems considering timing constraints., , , , and . Journal of Systems and Software, (2016)Animación de Especificaciones OASIS Mediante Redes de Petri Orientadas a Objeto.. Computación y Sistemas, (2001)Generación Automática de Aplicaciones Mixtas Sw/Hw mediante la Integración de Componentes COTS., , , and . JISBD, page 147-154. Thomson, (2005)A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems., , , and . Journal of Systems and Software, (2015)A family of experiments to evaluate the understandability of TRiStar and i* for modeling teleo-reactive systems., , , and . Journal of Systems and Software, (2016)TRiStar: an i* extension for teleo-reactive systems requirements specifications., , , and . SAC, page 283-288. ACM, (2015)Animation of OASIS Specifications by Means of Object Oriented Petri Nets.. Computación y Sistemas, (2001)Design of service robots., , , , , and . IEEE Robot. Automat. Mag., 16 (1): 24-33 (2009)From Teleo-Reactive specifications to architectural components: A model-driven approach., , , and . Journal of Systems and Software, 85 (11): 2504-2518 (2012)