Login / Signup
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
Olaf Owe
Martin Steffen
Arild B. Torjusen
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
computational model
neural network
theoretical framework
high level
probabilistic model
object model
probability distribution
theoretical analysis
formal model