Modeling and Verification of Probabilistic Actor Systems Using pRebeca.

Mahsa Varshosaz Ramtin Khosravi

Published in: ICFEM (2012)

Keyphrases

case study
management system
data driven
computer systems
formal methods
learning algorithm
e learning
intelligent systems
complex systems
information theoretic
probabilistic logic
asynchronous circuits