Old Web
English
Sign In
Acemap
>
Paper
>
Verifying and Monitoring UML Models with Observer Automata
Verifying and Monitoring UML Models with Observer Automata
2019
Valentin Besnard
Ciprian Teodorov
Frédéric Jouault
Matthias Brun
Philippe Dhaussy
Keywords:
Automaton
Unified Modeling Language
Computer science
model interpretation
Observer (quantum physics)
Programming language
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]