Design, Analysis and Verification of Real-Time Systems Based on Timeseeders: 9
leechers: 0
Design, Analysis and Verification of Real-Time Systems Based on Time (Size: 1.2 MB)
Description
IT Journal
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement ZHIJUN DING and CHANGJUN JIANG, Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, China MENGCHU ZHOU, New Jersey Institute of Technology Sharing Widget |