Login / Signup
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software.
Jinho Choi
Eunkyoung Jee
Doo-Hwan Bae
Published in:
SERE (2012)
Keyphrases
</>
embedded software
sequence diagrams
behavioral models
petri net
intermediate representation
test cases
hierarchical structures
software architecture
dependency graph
uml diagrams
dynamic behaviors
regression testing
development projects
case study
intermediate level
design patterns
uml class diagrams