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