Search results
Jump to navigation
Jump to search
- * Speaker(s): Daniela Genius * email: daniela.genius@lip6.fr2 KB (266 words) - 17:17, 16 July 2019
- * 13:30-14:00, Daniela Genius, ''[[Model-Driven Performance Evaluation and Formal Verification for Multi-11 KB (1,558 words) - 17:09, 1 October 2023