Lifecycle Verification of the NASA Ames K9 Rover Executive - PowerPoint PPT Presentation

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

Lifecycle Verification of the NASA Ames K9 Rover Executive

Description:

Compositional Techniques for Design- and Code- Level Verification ... Automatic generation of hundreds of plans in a few seconds ... – PowerPoint PPT presentation

Number of Views:15
Avg rating:3.0/5.0
Slides: 20
Provided by: corinapa
Learn more at: http://ti.arc.nasa.gov
Category:

less

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