Khamespanah, Ehsan, University of Tehran, School of ECE, Iran, Islamic Republic of
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.