集成形式化方法国际会议
International Conference on integrated Formal Methods · iFM Conference
类型 S 其他类型S(待核准) 1999 成立
概览
宗旨
进一步推动形式化建模与分析混合方法的研究。
简介
集成形式化方法国际会议（iFM Conference）起始年份记为1999年。该会以推动形式化建模与分析混合方法的研究为宗旨；现有资料仅载明其机构为指导委员会，未提供会址与活动清单。
研究领域
教育与科研
形式化方法与软件建模研究
组织概况
类型：S 其他类型S(待核准)
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
出版物
暂无出版物数据
会议活动
暂无会议数据
组织关系
暂无关系数据
历史沿革 付费
组织架构 付费
指导委员会。