Travelled to:1 × United Kingdom
Collaborated with:K.Marussy G.Csertán G.Huszerl Z.Pap A.Pataricza D.Varró
Talks about:model (2) reconfigur (1) transform (1) construct (1) product (1) analysi (1) visual (1) viatra (1) system (1) formal (1)
Person: István Majzik
DBLP: Majzik:Istv=aacute=n
Contributed to:
2002
2018Wrote 2 papers:
- ASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #verification #visual notation
- VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.
- CASE-2018-MarussyM #analysis #configuration management #dependence #modelling
- Constructing Dependability Analysis Models of Reconfigurable Production Systems (KM, IM), pp. 1158–1163.