...
机译:客座社论:关于定时系统的形式化建模和分析的特刊
Univ Southern Calif, Los Angeles, CA USA;
Univ Colorado, Boulder, CO 80309 USA;
Univ Florence, Florence, Italy;
机译:客人编辑:ACM TECS的专题ACM-IEEE关于系统设计的正式方法和模型国际会议(MemoCode 2017)
机译:客人编辑:系统设计正式方法和模型的特殊问题
机译:嘉宾编辑为特殊问题的运输人机系统建模与分析
机译:定时系统的正式建模和分析:技术推动力还是市场推动力?
机译:复杂系统特殊类别(奇摄动,离散时间,线性化,两时标度系统)的灵敏度分析,识别和模型简化技术
机译:特邀嘉宾社论:人体系统中治疗和发现的技术平台:图像指导程序机器人干预和建模方面的新颖作品
机译:客人编辑:关于正式建模的特殊问题与定时系统分析