Search

Now showing items 1-10 of 14

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)

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)

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)

1
2