Tool Seminar:SCADE Overview

From Dependability


Overview | Schedule | Syllabus | 2006 Project Guidelines | Tool List | Editing Guidelines

 

 

Kendra will be presenting on SCADE for us.

link The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. The document is a pdf buried inside a zip.

She will be going over parts of the paper, but it is suggested that it be read ahead of time.

Retrieved from "http://dependability.cs.virginia.edu/info/Tool_Seminar:SCADE_Overview"