Login / Signup
Use Case Analysis Based on Formal Methods: An Empirical Study.
Marcos Oliveira Jr.
Leila Ribeiro
Érika F. Cota
Lucio Mauro Duarte
Ingrid Nunes
Filipe Reis
Published in:
WADT (2014)
Keyphrases
</>
formal methods
formal analysis
machine learning
multi agent