Login / Signup
Towards Constructive Axiomatic Specifications.
Clesio Saraiva dos Santos
Antonio L. Furtado
José Mauro Volkmer de Castilho
Sergio E. R. de Carvalho
Published in:
Workshop on Data Abstraction, Databases and Conceptual Modelling (1980)
Keyphrases
</>
delay insensitive
order sorted
axiomatic characterization
high level
formal specification
decision theory
specification language
social networks
artificial neural networks
reactive systems
data sets
neural network
machine learning
information systems
concurrent systems
bounded model checking