Formal Verification in Heterogeneous Systems
Event details
| Date | 29.08.2024 |
| Hour | 14:00 › 16:00 |
| Speaker | Alexandre Pinazza |
| Location | |
| Category | Conferences - Seminars |
EDIC candidacy exam
Exam president: Prof. Viktor Kuncak
Thesis advisor: Prof. Clément Pit-Claudel
Thesis coadvisor: Prof. Thomas Bourgeat
Co-examiner: Prof. George Candea
Abstract
coming soon
Background papers
coming soon
Exam president: Prof. Viktor Kuncak
Thesis advisor: Prof. Clément Pit-Claudel
Thesis coadvisor: Prof. Thomas Bourgeat
Co-examiner: Prof. George Candea
Abstract
coming soon
Background papers
coming soon
Practical information
- General public
- Free