Behavioral Specification Theories: an Algebraic Taxonomy.

Uli Fahrenberg Axel Legay

Published in: CoRR (2020)

Keyphrases

neural network
high level
theoretical framework
conceptual model
formal specification
formal methods
specification language
machine learning
decision trees
expert systems
formal verification
formal language