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:
主要作者: | Kishi, Tomoji |
---|---|
格式: | Article |
語言: | English |
出版: |
ĐHCN
2016
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/14460 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Vietnam National University, Hanoi |
語言: | English |
相似書籍
-
Formalizing UML state machines for automated verification: A survey
由: ETIENE, Andre, et al.
出版: (2023) -
Differencing UML models: A domain-specific vs. a domain-agnostic method
由: Mikhaiel, R., et al.
出版: (2014) -
UML-Based co-design framework for body sensor network applications
由: SUN ZHENXIN
出版: (2013) -
A UML-based tool for designing HLA federates
由: LIU PENG
出版: (2010) -
USMMC: A self-contained model checker for UML state machines
由: LIU, Shuang, et al.
出版: (2013)