Proceedings FM-09 Workshop on Formal Methods for Aerospace
Logic in Computer Science
2010-03-30 v1 Software Engineering
Abstract
The main workshop objective was to promote a holistic view and interdisciplinary methods for design, verification and co-ordination of aerospace systems, by combining formal methods with techniques from control engineering and artificial intelligence. The very demanding safety, robustness and performance requirements of these systems require unprecedented integration of heterogeneous techniques and models. The aim of FMA was to bring together active researchers from all the above areas to discuss and present their work.
Keywords
Cite
@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}
}