xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
SPLASH 2022 (series) / Peter Ölveczky
Peter Ölveczky

Registered user since Wed 6 Apr 2022

Name:Peter Ölveczky
Country:Norway
Affiliation:University of Oslo
Personal website:http://olveczky.se

Contributions

FTSCS 2022 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 2022 Formal Techniques for Safety-Critical Systems (FTSCS)
Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Show activities from other conferences

Using general profile