Login / Signup
Operational, denotational and logical descriptions: a case study.
Lavinia Egidi
Furio Honsell
Simona Ronchi Della Rocca
Published in:
Fundam. Informaticae (1992)
Keyphrases
</>
case study
high level
operational semantics
logical reasoning
emergency management
wide range
artificial neural networks
evolutionary algorithm
logical properties