Publications

Export 302 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
M
E
T
S
C
[1344] Colom, JM, Martínez J, Silva M.  1987.  Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
[1345] Colom, JM, Martínez J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[1360] Colom, JM, Esparza J, Martínez J, Silva M.  1990.  A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
B
[1382] Bernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V.  2011.  Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
M
G