Crear mi propio perfil
Acceso público
Ver todo1 artículo
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
- Dejan NickovicAustrian Institute of TechnologyDirección de correo verificada de ait.ac.at
- Ezio BartocciFaculty of Informatics, TU WienDirección de correo verificada de tuwien.ac.at
- Niveditha ManjunathSenior System Test Engineer, DB Netz AGDirección de correo verificada de deutschebahn.com
- Ayrat KhalimovTU ClausthalDirección de correo verificada de tu-clausthal.de
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Dirección de correo verificada de ist.tugraz.at
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaDirección de correo verificada de iaik.tugraz.at
- Stefan TiranStudent, Graz, University of TechnologyDirección de correo verificada de ist.tugraz.at
- Stefan SchuppFormal Verification @Apple