diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-02-05 13:12:50 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-02-05 13:12:50 +0100 |
commit | 9f6364c1c4f268043536adf1b675da0994ee268e (patch) | |
tree | 37360b0dec8762284dfaece896e77ada2bff47b2 /manual/PRESENTATION_ExOth.tex | |
parent | aa8e754ae5f1c660480ba684a157ed8d2d2f32cb (diff) |
presentation progress
Diffstat (limited to 'manual/PRESENTATION_ExOth.tex')
-rw-r--r-- | manual/PRESENTATION_ExOth.tex | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/manual/PRESENTATION_ExOth.tex b/manual/PRESENTATION_ExOth.tex index 0a65edb9..83bd82e3 100644 --- a/manual/PRESENTATION_ExOth.tex +++ b/manual/PRESENTATION_ExOth.tex @@ -5,5 +5,56 @@ \sectionpage \end{frame} +\begin{frame}{Overview} +This section contains 3 subsections: +\begin{itemize} +\item Interactive Design Investigation +\item Symbolic Model Checking +\item Reverse Engineering +\end{itemize} +\end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\subsection{Interactive Design Investigation} + +\begin{frame} +\subsectionpage +\end{frame} + +\subsubsection{TBD} + +\begin{frame}{\subsubsecname} +TBD +\end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\subsection{Symbolic Model Checking} + +\begin{frame} +\subsectionpage +\end{frame} + +\subsubsection{TBD} + +\begin{frame}{\subsubsecname} +TBD +\end{frame} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +\subsection{Reverse Engineering} + +\begin{frame} +\subsectionpage +\end{frame} + +\subsubsection{TBD} + +\begin{frame}{\subsubsecname} +TBD +\end{frame} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |