Search

Now showing items 1-3 of 3

Reachability Analysis of Petri-nets by FPGA Based Accelerators

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

Hardware Accelerators for Petri-net Analysis

Csertán Gy; Majzik, István; Pataricza, András; Allmaier S C; Hohl W (Univ. Wien, 1998)

Automatic Dependability Modeling of Systems Described in UML

Majzik, István; Bondavalli A (IEEE Computer Society Press, 1998)