Login / Signup
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model.
Alexander Heußner
Christopher M. Poskitt
Claudio Corrodi
Benjamin Morandi
Published in:
GaM (2015)
Keyphrases
</>
theoretical analysis
real world
multi agent
management system
computational model
process model
neural network
case study
high level
prior knowledge
object oriented
parameter estimation
theoretical framework
graph model
verification method