Obtenir mon propre profil
Accès public
Tout afficher1 article
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Roderick BloemGraz University of TechnologyAdresse e-mail validée de iaik.tugraz.at
- Dejan NickovicAustrian Institute of TechnologyAdresse e-mail validée de ait.ac.at
- Ezio BartocciFaculty of Informatics, TU WienAdresse e-mail validée de tuwien.ac.at
- Niveditha ManjunathSenior System Test Engineer, DB Netz AGAdresse e-mail validée de deutschebahn.com
- Ayrat KhalimovTU ClausthalAdresse e-mail validée de tu-clausthal.de
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Adresse e-mail validée de ist.tugraz.at
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaAdresse e-mail validée de iaik.tugraz.at
- Stefan TiranStudent, Graz, University of TechnologyAdresse e-mail validée de ist.tugraz.at
- Stefan SchuppFormal Verification @Apple