Search

Now showing items 1-10 of 62

Reachability Analysis of Petri-nets by FPGA Based Accelerators

Csertán Gy; Majzik, István; Pataricza, András; Allmaier S C ([s. n.], 1998)

Ontology-Based Test Data Generation Using Metaheuristics

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

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)

1
2
3
4
. . .
7