Verification Criteria for a Compositional Model for Reactive Systems.

Pierfrancesco Bellini Mario Andres Bruno Paolo Nesi

Published in: ICECCS (2000)

Keyphrases

computational model
mathematical model
reactive systems
machine learning
probabilistic model
open source
neural network
social networks
knowledge base
high level
probability distribution
model checking