欧洲形式方法组织
Formal Methods Europe · FME
特殊形态组织(基金会/基金/办事处等) 瑞典 乌普萨拉 1984 成立
概览
宗旨
推动欧洲产业界在开发计算系统和软件时使用形式方法；促进形式方法研究者与用户之间的国际合作，以交流思想、确认共同关切并联系研究与应用领域。
简介
欧洲形式方法组织（FME）于1984年成立，登记会址为瑞典乌普萨拉。该组织推动欧洲产业界在开发计算系统和软件时使用形式方法，并促进形式方法研究者与用户之间的国际合作，以交流思想、确认共同关切并联系研究与应用领域；由董事会领导，下设咨询小组和工作组。
研究领域
科技与工业
形式方法与软件工程研究
产业应用合作
组织概况
总部：瑞典 乌普萨拉 类型：特殊形态组织(基金会/基金/办事处等)
官网与联系
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
会议活动
暂无会议数据
组织关系
暂无关系数据
出版物 付费
该组织出版物列表与 PDF 下载
历史沿革 付费
组织架构 付费
董事会；咨询小组；工作组。