Peter Ölveczky - SAS 2022

Mon 5 - Wed 7 December 2022 Auckland, New Zealand

co-located with SPLASH 2022

Registered user since Wed 6 Apr 2022

Name:Peter Ölveczky

Country:Norway

Affiliation:University of Oslo

Personal website: http://olveczky.se

Contributions

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
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

SPLASH

Show activities from other conferences

SPLASH 2022-profile
View general profile