SPLASH 2012 (series) / Mohammad-Javad Izadi
Not registered as user yet
Name:Mohammad-Javad Izadi
Contributions
| AGERE 2012 | Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile