Login / Signup
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach.
Valentin Besnard
Ciprian Teodorov
Frédéric Jouault
Matthias Brun
Philippe Dhaussy
Published in:
MoDELS (2019)
Keyphrases
</>
uml models
monitoring system
real time
object oriented
sequence diagrams
cellular automata
finite state
model checking
finite automata
written in natural language
image data
test cases
tree automata
information systems
database systems