Commit 38184272 authored by Patrick Wilde's avatar Patrick Wilde
Browse files

added sut-function

parent 12faa72f
......@@ -491,6 +491,14 @@ Sichersheitsanforderungen werden teilweise in LTL dargestellt
\caption{Funktionsweise der sut()-Funktion}
%Fragile option is needed for the lstlisting
\begin{frame}[fragile]{Ergebnisse des Tests}
Es konnte ein Implementationsfehler aufgedeckt werden:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment