1. Explore and analyze application of formal methods to the requirement analysis of
NASA’s Cassini Fault Protection Software study – Safety Critical Software.
2. Write a report based on your analysis and understanding of the case study.
3. Use the below link to get the contents related to the case study.
[login to view URL]
24 freelancere byder i gennemsnit $39 på dette job
I'm a Bsc degree holder in computer science. I have worked on many papers in report writing, research.I have read and understood your requirement and I know you will never regret, thank you.