Behavioral Verification Model for Real Time Embedded System

• 实时嵌入式系统协调设计的行为验证模型