Proceedings FM-09 Workshop on Formal Methods for Aerospace

Details Proceedings FM-09 Workshop on Formal Methods for Aerospace Proceedings FM-09 Workshop on Formal Methods for Aerospace

2010-03-28

arxiv.org/abs/1003.5363v1

EPTCS 20, 2010

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.20

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.

Affiliated with

Also associated with

No associations

Rating

Proceedings FM-09 Workshop on Formal Methods for Aerospace does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings FM-09 Workshop on Formal Methods for Aerospace, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings FM-09 Workshop on Formal Methods for Aerospace will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-127687