DO-333 Certification Case Studies.

Darren D. Cofer Steven P. Miller

Published in: NASA Formal Methods (2014)

Keyphrases

case study
lessons learned
third party
real world
open source
development process
database administration
database
genetic algorithm
social networks
computer vision
data structure
business process
problem based learning
literature review
web based collaborative learning environments