Algorithmic Verification of Component-based Systems
Event details
Date | 06.06.2017 |
Hour | 17:00 |
Speaker | Qiang WANG |
Location | |
Category | Thesis defenses |
Thesis directors : Prof. V. Kuncak , Dr S. Bliudze
Computer and Communication Sciences doctoral program.
Thesis 7753
Practical information
- General public
- Free