机译:嵌入式系统设计:正式模型,验证和综合
机译:嵌入式系统设计的正式模型
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:基于共享事件B模型的HCI系统设计中的形式验证和实验验证方法
机译:通过使用案例模型进行核制和验证嵌入式系统的外部行为模型的正式框架
机译:用于设计和设计验证的业务流程再造的正式模型。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:嵌入式系统设计:正式模型,验证和综合