机译:将Simulink模型转换为IEC 61499功能块,以验证分布式控制系统
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:网络运动控制系统电机驱动软件的形式化建模与验证
机译:IEC61499软件工程框架中的正式建模与验证:自验证系统的方式
机译:概率约束网:用于概率混合系统建模和验证的正式框架。
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:错误:用抽象状态机和SMV执行语义的IEC61499功能块的正式建模和验证
机译:将需求工程,建模和验证技术集成到软件和系统工程中;最终的评论。 2003年8月1日至2007年7月31日