Publications dans lesquelles il/elle collabore avec José Luis Villarroel Salcedo (5)

2000

  1. Using the Time Petri Nets Formalism for Specificaction, Validation and Code Generation in Robot-Control Applications

    International Journal of Robotics Research, Vol. 19, Núm. 1, pp. 59-76

1999

  1. Translating Time Petri Net Structures into Ada 95 Statements

    Lecture Notes in Computer Science, Vol. 16222, pp. 158-169

1998

  1. Decentralized implementation of real-time systems using time petri nets. Application to mobile robot control.

    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1998 (AARTC'98)

  2. Un método formal: Redes de Petri y Tiempo Real

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 136, pp. 65

1997

  1. Modelling and Ada implementation of Real -Time Systems using Time Petri Nets

    Real Time Programming 1996 (PERGAMON- Elsevier Science), pp. 127-132