模型检查

首页 >模型检查

　　嵌入式软件广泛应用于不同领域，如消费电子、工业控制、汽车电子、移动通信等。嵌入式软件的可靠性保证十分关键。嵌入式软件中常见的错误包括状态机错误、时序错误、栈...

模型检查 SMV 触摸屏 2009-07-13

在线研讨会

焦点