Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems
Details
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems
Journal
3rd ATVA (Automated Technology for Verification and Analysis)
Pages
144-158
Date Issued
2005-10
Author(s)
G.-D. Huang
FARN WANG
DOI
10.1007/11562948_13
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/317815
Type
conference paper
