Skip to content
Snippets Groups Projects
Commit 579836ce authored by Johannes Eder's avatar Johannes Eder
Browse files

removed testing

parent 0bbc9c33
No related branches found
No related tags found
1 merge request!213866
......@@ -96,6 +96,7 @@ Getting started help page.
<a href="cosimulation_with_af3.html">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;- Co-Simulation and FMI Support</a><font color="#ff0000"> </font><br />
<a href="library.html">Libraries</a><br />
<a href="refactoring.html">Refactoring</a><br />
<a href="model_markers_view.html">On-the-fly Checks</a><br />
&nbsp;</p>
</td>
</tr>
......@@ -134,19 +135,13 @@ Getting started help page.
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Testing and Formal Verification</h2>
<h2>Assurance Case Modeling</h2>
</td>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Assurance Case Modeling</h2>
<h2>Further Resources</h2>
</td>
</tr>
<tr>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/WAF3verification.png" width="200" /><br />
&nbsp;
<p style="margin-left: 50px;"><a href="model_markers_view.html">On-the-fly Checks</a><br /> </p>
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="assuranceCases/pictures/SC.23.png" width="200" /><br />
<br />
......@@ -159,13 +154,7 @@ Getting started help page.
</p>
<p style="margin-left: 320px;">&nbsp;</p>
</td>
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Further Resources</h2>
</td>
</tr>
<tr>
<td align="center" valign="top"><br />
<img alt="" border="1" hspace="80" src="gettingStarted/img/af3_logo.png" width="200" /><br />
<br />
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment