Login / Signup
Automated formal approach for debugging dividers using dynamic specification.
Mohammad Hashem Haghbayan
Bijan Alizadeh
Amir-Mohammad Rahmani
Pasi Liljeberg
Hannu Tenhunen
Published in:
DFT (2014)
Keyphrases
</>
formal specification
formal language
operational semantics
formal methods
semi automated
high level declarative
neural network
automated analysis
data driven
real world
dynamic environments
learning environment
multi agent
database systems
high level
reactive systems
dynamic aspects
formal languages