Model Checking Ariane 5 Flight Program: Bozga, Mounier, FMICS 2001 - PowerPoint PPT Presentation

1 / 12
} ?>
View by Category
About This Presentation
Title:

Model Checking Ariane 5 Flight Program: Bozga, Mounier, FMICS 2001

Description:

... on June 4, 1996, and was certainly one of the most expensive fireworks that year ... 'sparked' an interest in the European Space Agency (ESA) towards formal ... – PowerPoint PPT presentation

Number of Views:37
Avg rating:3.0/5.0
Slides: 13
Provided by: teemu3
Learn more at: http://www.tcs.hut.fi
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com