SPLASH 2014 (series) / Ramtin Khosravi
Not registered as user yet
Name:Ramtin Khosravi
Contributions
AGERE! | Efficient TCTL Model Checking Algorithm for Timed Actors Event-based Analysis of Timed Rebeca Models using SQL | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile