Search

Now showing items 1-7 of 7

Specifying Tests for Ad-Hoc Mobile Systems

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

Stochastic Dependability Evaluation of Applications in Mobile Environments

Kovács, Máté; Majzik, István (2008)

Model Checking Based Verification of UML 2.0 Statecharts

Sisak, Áron; Majzik, István (2008)

Standards-Based Assessment of Development Toolchains

Szatmári, Zoltán; Majzik, István (2009)

Implementation of Redundancy Patterns Using AOP Techniques

Domokos, Péter; Majzik, István (2006)

Robustness Testing of High Availability Middleware Solutions

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

Robustness Comparison of High Availability Middleware Systems

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