Amanote Research
Register
Sign In
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
- China
doi 10.1360/jos180062
Full Text
Open PDF
Abstract
Available in
full text
Categories
Software
Date
January 1, 2007
Authors
Wei CHEN
Publisher
China Science Publishing & Media Ltd.