diff options
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} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |