促进对实时系统基础与实用两方面问题的研究；将在实时系统建模与分析方面持有共同兴趣的不同学科研究者聚集在一起。
实时系统形式建模与分析国际会议（FORMATS）于2003年在法国马赛成立。会议旨在促进对实时系统基础与实用两方面问题的研究，将在实时系统建模与分析上兴趣相通的不同学科研究者聚集在一起。现有登记资料未载明其具体活动与内部结构。
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
暂无出版物数据
暂无会议数据
暂无关系数据
实时系统形式建模与分析国际会议 · 一次付费，永久查看