Login / Signup
Formal Requirements Modeling for Simulation-Based Verification: from Theory to Practice.
Alfredo Garro
Published in:
CIISE (2016)
Keyphrases
</>
formal methods
formal models
model checking
mathematical theory
theoretical framework
real world
mathematical foundations
artificial intelligence
theoretical basis
formal model
modeling method
signature verification
modeling language
database systems
formal language
mathematical modeling
theoretical insights
ai law