Participants in RHYTM: High-Level Formal Modeling and Analysis of Real-Time and Hybrid Systems
From the University of Oslo
| Name | Phone | Tags | |
|---|---|---|---|
Peter Csaba Ølveczky
Professor
|
+47 22852498 | peterol@ifi.uio.no | |
.jpg)
Olaf Owe
professor emeritus
|
22852449 | olaf@ifi.uio.no | semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, verification, programming languages |
Gerardo Schneider
|
|||
|
Daniela Lepri
|
|||
|
Muhammad Fadlisyah
|
Other participants
- Jose Meseguer
- Narciso Marti-Oliet,