Search

Now showing items 1-5 of 5

Specifying Tests for Ad-Hoc Mobile Systems

Micskei, Zoltán; Majzik, István; Waeselynck, Hélène (2008)

Robustness Testing of High Availability Middleware Solutions

Micskei, Zoltán; Majzik, István (2006)

Tool Support for Engineering Certifiable Software

Gönczy, László; Majzik, István; Horváth, Ákos; Varró, Dániel; Balogh András; Micskei, Zoltán Imre; Pataricza, András (2008)

Robustness Comparison of High Availability Middleware Systems

Micskei, Zoltán; Majzik, István (2007)

Supporting design and development of safety critical applications by model based tools

Pintér, Gergely; Micskei, Zoltán Imre; Majzik, István (2009)