Searching for authors named "Amin Shali" – sorted by Relevance.
-
Model checking, automated abstraction, and compositional verification of Rebeca models
- @(email omitted);) Amin Shali (Department of Electrical and Computer Engineering University of Tehran Karegar Ave., Tehran
- Cited by 1 (1 self) – Add To MetaCart
-
Languages, Performance
- Actor Frameworks for the JVM Platform: A Comparative Analysis Rajesh K. Karmani, Amin Shali, Gul
- Add To MetaCart
-
A front-end tool for automated abstraction and modular verification of actor-based models
- @(email omitted); Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi Department of Electrical and Computer Engineering
- Cited by 8 (8 self) – Add To MetaCart

