C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime Verification of Compound Components with ComMA.
Ivan Kurtev
Jozef Hooman
Published in:
A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
</>
formal verification
hidden markov models
neural network
machine learning
software components
database
artificial intelligence
decision making
optimal solution
data structure
information technology
model checking