Login / Signup
An Integrated Formal Model of Scenarios Based on Statecharts.
Martin Glinz
Published in:
ESEC (1995)
Keyphrases
</>
formal model
predicate calculus
formal models
neural network
life cycle
learning scenarios
formal methods
security properties
reactive systems