Author:
Mentis Anakreon,Katsaros Panagiotis,Angelis Lefteris
Subject
Hardware and Architecture,Modelling and Simulation,Software
Reference26 articles.
1. L. Aceto, M. Cimini, A.H. Reynisson, A. Ingolfsdottir, S.H. Sigurdarson, Modelling and simulation of asynchronous real-time systems using timed Rebeca, in: Proc. 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA), Aachen, Germany, 2011, pp. 1–19.
2. Rigorous component-based system design using the BIP framework;Basu;IEEE Software,2011
3. Principles of Transaction Processing;Bernstein,2009
4. Statistical Estimates and Transformed Beta Variables;Blom,1958
5. Model Checking;Clarke,1999