Login / Signup
Using Simulation Techniques and Formal Methods for Validating Interaction Based Models.
Mohamed Wassim Trojet
Mamoun Sqali
Lucile Torres
Claudia S. Frydman
Published in:
MSV (2009)
Keyphrases
</>
formal methods
simulation models
mathematical models
human computer interaction
artificial intelligence
formal analysis
simulation model
data mining
case study
software engineering
building blocks
complex systems
reactive systems