Search

Now showing items 1-10 of 21

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)

Ontology Based Assessment of Development Processes

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

Automated Robustness Test Generation Using OCL Constraints

Oláh, János; Majzik, István (2010)

Requirements towards a formal specification language for PLCs

Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique (2015)

A Framework for Formal Verification of Real-Time Systems

Tóth, Tamás; Majzik, István (2015)

Test Data Generation Using Metaheuristics

Oláh, János; Majzik, István (2011)

Supporting the Testing of Autonomous Systems Using Context Ontologies

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

1
2
3