HUSZERL Gábor 5 fontos publikációja
5 Important Publications of HUSZERL Gábor
- Huszerl G.,
Majzik I.,
Pataricza A.,
K. Kosmidis,
M. Dal Cin:
Quantitative Analysis of UML Statechart Models of Dependable
Systems -
The Computer Journal,
Vol 45(3), May 2002, pp. 260-277., ISSN:0010-462, published by
the Oxford University Press on
behalf of British Computer Society
- Huszerl G.,
Majzik I.:
Quantitative Analysis of
Dependability Critical Systems Based on UML Statechart
Models - In Proc.
HASE
2000, Fifth IEEE International Symposium on High Assurance Systems
Engineering, pp. 83-92, Albuquerque, NM, USA, November 15-17, 2000
- Huszerl G.,
Majzik I.:
Modelling and Analysis of Redundancy Management in
Distributed Object-Oriented Systems by Using UML
Statecharts - In Proc. of the
27th Euromicro
Conference, pp. 200-207., Warsaw, Poland, 4-6. September 2001
- M. Dal Cin,
Huszerl G.,
K. Kosmidis:
Transformation of Guarded Statecharts for Quantitative
Evaluation of Dependable Embedded systems -
EWDC-10,
10th European Workshop on Dependable Computing, ISBN
3-85403-125-4, pp. 143-187, Vienna, Austria, May 6-7, 1999
- Csertán Gy.,
Huszerl G.,
Majzik I.,
Pap Zs.,
Pataricza A.,
Varró D.:
VIATRA - Visual Automated Transformations for Formal
Verification and Validation of UML Models - In Proc.
17th Int. Conference on Automated
Software Engineering (ASE 2002), Edinburgh, Scotland, September
23-27. 2002