Search

Now showing items 11-20 of 21

Context-Based Requirements Representation for Software Testing (Summary of PhD Work in 2011)

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

Timed Automata Verification using Interpolants

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

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)

Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework

Graics, Bence; Majzik, István (2020)

Formal Modeling of Real-Time Systems with Data Processing

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

Well-Formedness and Invariant Checking of PLCspecif Specifications

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

Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach

Molnár, Vince; Majzik, István (2017)

Generic Representation of PLC Programming Languages for Formal Verification

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

Evaluation of Fault Tolerance Mechanisms with Model Checking

Molnár, Vince; Majzik, István (2016)

1
2
3