Publications

Export 70 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is José Merseguer  [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 
A
C
D
E
F
G
I
L
M
[1487] Bernardi, S, Merseguer J.  2013.  A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
[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).
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.