SAFETY CRITICAL SYSTEM Jeremiah Lin Jennifer Li Vidisha Raj ChiaChuan Wu Sahil Kumar FSE - 2014 Fall Team SA5 - Jevi’s 1 AGENDA I. Introduction II. An Example III.Domain…
