FM-09 航空航天形式化方法研讨会论文集
计算机科学中的逻辑
2010-03-30 v1 软件工程
摘要
本次研讨会的主要目标是，通过将形式化方法与控制工程和人工智能的技术相结合，促进航空航天系统在设计、验证与协调方面的整体观与跨学科方法。这些系统对安全性、鲁棒性和性能的极高要求，需要异构技术与模型实现前所未有的整合。FMA 的宗旨是将上述所有领域的活跃研究人员聚集在一起，讨论并展示他们的工作。
引用
@article{arxiv.1003.5363,
title = {Proceedings FM-09 Workshop on Formal Methods for Aerospace},
author = {Manuela Bujorianu and Michael Fisher},
journal= {arXiv preprint arXiv:1003.5363},
year = {2010}
}