机译:支持安全认证的基于SysML的可追溯性管理和设计切片方法:框架,工具支持和案例研究
机译:与其他国家相比,巴西出口商猪肉链实施的可追溯性,透明度和保证(TTA)系统
机译:MITK-MODELFIT:用于模型适合的通用开源框架及其在医学成像中的探索 - DCE-MRI示例的设计,实施和应用
机译:基于RFID的猪肉安全生产追溯系统设计。
机译:基于模型检查的分布式系统跟踪分析框架
机译:MITK-ModelFit:用于模型拟合及其在医学成像中的探索的通用开源框架–以DCE-MRI为例的设计实现和应用
机译:基于RFID的猪肉追溯系统的设计与实现