On the Designing of Model Checkers for Real-Time Distributed Systems
To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchical Timed Automata. Since the model language of UP...
Đã lưu trong:
| Những tác giả chính: | , , , , |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Yaroslavl State University
2015-03-01
|
| Loạt: | Моделирование и анализ информационных систем |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://www.mais-journal.ru/jour/article/view/138 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|