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