C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Designing, animating, and verifying partial UML Models.
Frédéric Jouault
Valentin Besnard
Théo Le Calvar
Ciprian Teodorov
Matthias Brun
Jérôme Delatour
Published in:
MoDELS (2020)
Keyphrases
</>
uml models
object oriented
test cases
sequence diagrams
artificial intelligence
web services
case study
xml documents
model checking