Search Results - "蒋树胡凯杨志斌顾斌张腾姜泮昌" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

Formal Verification of TASM Models by Translating into UPPAAL

by 胡凯张腾杨志斌顾斌蒋树姜泮昌
Published in 东华大学学报（英文版） (2012)

Get full text

Journal Article

Cover Image

AADL2TASM： a Verification and Analysis Tool for AADL Models

by 蒋树胡凯杨志斌顾斌张腾姜泮昌
Published in 东华大学学报（英文版） (2012)

Get full text

Journal Article