AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Gabor Huszerl

Gabor Huszerl

Budapest University of Technology and Economics - Budapest / Hungary
Others
AD Scientific Index ID: 1841799
Budapesti Muszaki és Gazdaságtudományi Egyetem
person_outline Gabor Huszerl's MOST POPULAR ARTICLES
1-) VIATRA-visual automated transformations for formal verification and validation of UML models Proceedings 17th IEEE International Conference on Automated Software …, 2002
2-) Quantitative analysis of UML statechart models of dependable systems The computer journal 45 (3), 260-277, 2002
3-) UML-based design and formal analysis of a safety-critical railway control software module Safety 48 (48V), 48V, 2003
4-) Quantitative evaluation of dependability critical systems based on guarded statechart models Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
5-) Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey, 200-207, 2001