Publications
Filters: First Letter Of Last Name is V [Clear All Filters]
[1382] Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
.
2011.
[1431] Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
.
2013.
[1308] Resource-bounded Dimension in Computational Learning Theory. arXiv.
.
2010.
[1027] Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
.
1991.
[1050] Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
.
1992.
[RP-85-10] Sistema de programación y control de robots con visión artificial. :66-69.
.
1985.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.
.
1986.
.
1988.
.
1989.
.
1989.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
.
1992.
[1346] On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
.
1986.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[RP-93-57] Introducing Petri Nets.
.
1993.
[RP-80-03] Sistema especializado en la simulación de redes de Petri sanas. :81-88.
.
1980.
.
1980.
[RP-81-03] Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
.
1981.
[RP-81-04] Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
.
1981.
[RP-81-05] Realización cableada de redes de Petri binarias. :265-275.
.
1981.
[RP-82-01] Realización cableada de redes de Petri binarias. 6:151-155.
.
1982.
[RP-82-03] Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
.
1982.
[RP-82-07] Programmable logic controllers and Petri nets: A comparative study. :29-34.
.
1982.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.
.
1983.