Proving Sufficient Completeness of Constructor-Based Algebraic Specifications.

Masaki Nakamura Daniel Gâinâ Kazuhiro Ogata Kokichi Futatsugi

Published in: CSA/CUTE (2015)

Keyphrases

database
high level
delay insensitive
machine learning
website
formal specification
control flow
concurrent systems
neural network
multiscale
multi agent