Publications

Export 4 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: Author is Simona Bernardi  [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 
R
[1525] Rodríguez, RJ, Bernardi S, Merseguer J.  2015.  Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
application/pdf icon
RMB-TCJ-14.pdf
M
[1381] Merseguer, J, Bernardi S.  2012.  Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
application/pdf icon
BM-DEDS.pdf
B
[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.
[1488] Bernardi, S, Boskovic M, Merseguer J.  2013.  Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.