conf.researchr.org / Peter Ölveczky
![Peter Ölveczky](https://conf.researchr.org/getProfileImage/peterolveczky/0ee51c10-7067-4b23-8e43-8a1a7765709b/small.jpg?1711460691000)
Registered user since Wed 6 Apr 2022
Contributions
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