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...

Full description

Saved in:
Bibliographic Details
Main Author: Kishi, Tomoji
Format: Article
Language:English
Published: ĐHCN 2016
Subjects:
UML
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
Be the first to leave a comment!
You must be logged in first