About Fu Chunyan
About College of Computer Science and Technology, Zhejiang University, Hangzhou, Zhejiang Province, China
About Zheng Kougen
About College of Computer Science and Technology, Zhejiang University, Hangzhou, Zhejiang Province, China
About IEEE Conference Proceedings
Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.
About safety
About refinement
About modeling
About criticality
About real time processing
About time limit
About priority
About 実時間システム
About タイミング制約
About Event-B
About Graphic and image processing in general
About Event-B
About タスク
About タイミング制約
About モデリング