updated graphs

[tt2015.git] / a3 / 1modelingTCP.tex

diff --git a/a3/1modelingTCP.tex b/a3/1modelingTCP.tex
index 2c9125b..6846389 100644 (file)
--- a/a3/1modelingTCP.tex
+++ b/a3/1modelingTCP.tex
@@ -37,11 +37,10 @@ will receive the connection- and an external host -which will initiate the
 connection- and (b) the closing of a connection (tear down) initiated by the
 external host.
 
-Figure~\ref{fig:model_connection} shows a LTS model of the SUT for the 
-three-way handshake (a). Figure~\ref{fig:model_disconnect} shows a LTS model
-of the SUT for the tear down (b).
+Figure~\ref{fig:model_connection} shows the LTS model of the SUT.
 
-Hier zou dus een plaatje van ``digraph Connection'' uit ``graphs.viz'' moeten komen. \label{fig:model_connection}.
-
-En hier een plaatje van ``digraph Close'' uit ``graphs.viz'' moeten komen.
-\label{fig:model_disconnect}
\ No newline at end of file
+\begin{figure}[H]
+       \centering
+       \includegraphics[scale=.75]{lts-jtorx.eps}
+       \caption{LTS system}\label{fig:model}
+\end{figure}