Skip to content
Snippets Groups Projects
Commit cf3975b9 authored by Carmen Carlan's avatar Carmen Carlan
Browse files

Edited the assurance case exporter feature

parent 8f3f4d3f
No related branches found
No related tags found
1 merge request!5The documentation of the exporter added
......@@ -18,7 +18,7 @@ data_dictionary.html b3ae064896c7617b7adff889d129802c7832438b RED
dse_perspective.html f050d9fa27d2c20ce5dc14e56b37184676bda4c6 RED
efficient_deployment.html f51b3cf4a6dc9e172cdbe50c2703a13414d0f3cc RED
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 RED
getting_started.html 027a12ec4e55a75f1eceab64fc8fa56d2ae6eec4 RED
getting_started.html 7a26d95b262da05052c6e798b22e01eb9c49da18 YELLOW
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
......@@ -43,7 +43,7 @@ refactoring.html cdfd1f78f6cb543ad3643eecf8f7c5f5130fe9b6 RED
refinement.html da2696e355081a2c1f4baac4629b9e2dd621a9d4 RED
refinement_testing.html 3c1ba760015bf4d12bad1567d65d913255416437 RED
safety.html 5f7d5b677b31bc916ec2c62d82b44502c0705a2d RED
safety_cases.html b189c962aeaca41be7268d9086480a49b065ab44 RED
safety_cases.html 8b31a93019f1dba635d979e1b1830d229a045837 YELLOW
scheduling.html 94646464662c1745795ab1954dfcc5f469fdaee7 RED
simulation_with_af3.html 36223384af0af325642fe1dce007aecafa62843f RED
state_automaton.html 5850977b2e0f2b760e15340ee8eca319ec16c71f RED
......
......@@ -133,7 +133,7 @@ Getting started help page.
</tr>
<tr>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>Safety Case Modelling</h2>
<h2>Assurance Case Modelling</h2>
</td>
<td align="center" bgcolor="#c7d2dc" width="50%">
<h2>FOCUSer - FOCUS procEss AwaReness</h2>
......@@ -143,8 +143,7 @@ Getting started help page.
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="pictures/SC.23.png" width="200" /><br />
<br />
<font color="#ff0000"><b>This feature is under re-construction!</b></font>
<p style="margin-left: 50px;"><a href="safety_cases.html">Safety Cases in AF3</a></p>
<p style="margin-left: 50px;"><a href="safety_cases.html">Assurance Cases in AF3</a></p>
<p style="margin-left: 320px;">&nbsp;</p>
</td>
<td align="center" valign="top"><br />
......
This diff is collapsed.
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