next up previous
Next: Traditional Approach Up: CS206 Lecture 01 Formal Previous: Safety Critical Systems

Example Chemical Plant

Imagine (Union Carbide, Bhopal)

\begin{figure}\centerline{\epsfig{figure=pics/fige.eps,width=5.4in}}\end{figure}


G. Sivakumar 2002-12-31