Login / Signup
Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks.
Akira Matsumoto
Tomoyuki Yokogawa
Sousuke Amasaki
Hirohisa Aman
Kazutami Arimoto
Published in:
IIAI-AAI (2019)
Keyphrases
</>
sequence diagrams
wireless sensor networks
petri net
class diagrams
uml models
activity diagrams
intermediate representation
regression testing
test cases
class diagram
model based testing
dependency graph
database
modeling language
video sequences
general purpose