×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

The Use of Formal Methods on the iFACTS Air Traffic Control Project

by on Apr 20, 2010

  • 3,770 views

The next talk in our series from the recent Open-DO Conference is from Neil White,Principal Engineer with Altran Praxis. His talk provides an overview of the formal methods used on the iFACTS project. ...

The next talk in our series from the recent Open-DO Conference is from Neil White,Principal Engineer with Altran Praxis. His talk provides an overview of the formal methods used on the iFACTS project. iFACTS is delivering increased Air Traffic Control capability to the UK.

Statistics

Views

Total Views
3,770
Views on SlideShare
3,301
Embed Views
469

Actions

Likes
2
Downloads
83
Comments
0

3 Embeds 469

http://www.open-do.org 462
http://www.slideshare.net 5
http://webcache.googleusercontent.com 2

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
Post Comment
Edit your comment

The Use of Formal Methods on the iFACTS Air Traffic Control Project The Use of Formal Methods on the iFACTS Air Traffic Control Project Presentation Transcript