 | 2009 |
|---|
| 6 |       | László Gönczy,
István Majzik,
Ákos Horváth,
Dániel Varró,
András Balogh,
Zoltán Micskei,
András Pataricza:
Tool Support for Engineering Certifiable Software.
Electr. Notes Theor. Comput. Sci. 238(4): 79-85 (2009) |
| 2007 |
|---|
| 5 | | Zoltán Micskei,
István Majzik,
Francis Tam:
Comparing Robustness of AIS-Based Middleware Implementations.
ISAS 2007: 20-30 |
| 4 | | Hélène Waeselynck,
Zoltán Micskei,
Minh Duc Nguyen,
Nicolas Riviere:
Mobile Systems from a Validation Perspective: a Case Study.
ISPDC 2007: 85-92 |
| 3 | | István Majzik,
Zoltán Micskei,
Gergely Pintér:
Development of Model Based Tools to Support the Design of Railway Control Applications.
SAFECOMP 2007: 430-435 |
| 2 | | Gergely Pintér,
Zoltán Micskei,
András Kövi,
Zoltán Égel,
Imre Kocsis,
Gábor Huszerl,
András Pataricza:
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.
WADS 2007: 150-174 |
| 2006 |
|---|
| 1 | | Zoltán Micskei,
István Majzik:
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.
DepCoS-RELCOMEX 2006: 191-198 |
