conf.researchr.org / Peter Ölveczky
Registered user since Wed 6 Apr 2022
Contributions
2025
2023
2022
FTSCS
- Committee Member in Organizing Committee within the Formal Techniques for Safety-Critical Systems-track
- Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
- Author of Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata within the Formal Techniques for Safety-Critical Systems-track