首页|期刊导航|东华大学学报（英文版）|Formal Verification of TASM Models by Translating into UPPAAL

Formal Verification of TASM Models by Translating into UPPAAL

HU Kai ZHANG Teng YANG Zhi-bin GU Bin JIANG Shu JIANG Pan-chang

东华大学学报（英文版）2012，Vol.29Issue(1)：51-54,4.

Formal Verification of TASM Models by Translating into UPPAAL

HU Kai ¹ZHANG Teng ¹YANG Zhi-bin ¹GU Bin ²JIANG Shu ¹JIANG Pan-chang¹

作者信息

1. School of Computer Science and Engineering,Beihang University,Beijing 100191,China
2. Beijing Institute of Control Engineering,Beijing 100190,China
折叠

摘要

关键词

timed abstract state machine(TASM)/formal verification/model transformation/atlas transformation language(ATL)/UPPAAL

Key words

timed abstract state machine(TASM)/formal verification/model transformation/atlas transformation language(ATL)/UPPAAL

分类

信息技术与安全科学

引用本文复制引用

HU Kai,ZHANG Teng,YANG Zhi-bin,GU Bin,JIANG Shu,JIANG Pan-chang..Formal Verification of TASM Models by Translating into UPPAAL[J].东华大学学报（英文版）,2012,29(1):51-54,4.

基金项目

National Natural Science Foundations of China(No.61073013,No.90818024) （No.61073013,No.90818024）

Aviation Science Foundation of China(No.2010ZAO4001) （No.2010ZAO4001）

东华大学学报（英文版）

ISSN：1672-5220

访问量0

下载量0

段落导航