UML design verification based on model checking techniques
The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded s...
Saved in:
Main Author: | Kishi, Tomoji |
---|---|
Format: | Article |
Language: | English |
Published: |
ĐHCN
2016
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/14460 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Formalizing UML state machines for automated verification: A survey
by: ETIENE, Andre, et al.
Published: (2023) -
Differencing UML models: A domain-specific vs. a domain-agnostic method
by: Mikhaiel, R., et al.
Published: (2014) -
UML-Based co-design framework for body sensor network applications
by: SUN ZHENXIN
Published: (2013) -
A UML-based tool for designing HLA federates
by: LIU PENG
Published: (2010) -
USMMC: A self-contained model checker for UML state machines
by: LIU, Shuang, et al.
Published: (2013)