Publications
Filters: First Letter Of Last Name is N [Clear All Filters]
"Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008.
Abstract
"Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets",
Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
"Verification of the PRISE safety procedure by formal methods",
Proceedings of the 8th International PhD Workshop on Systems and Control, pp. 49 - 56, 2007.
On CD
The VIATRA2 Model Transformation Framework,
, 2005.
Presented at ECMDA 2005 – Tools Track