AIDA/AIDASafety
1
0
Fork 0
mirror of http://172.16.200.102/AIDA/AIDASafety.git synced 2025-12-10 08:07:58 +01:00
Code Issues Projects Releases Wiki Activity

V4.3_Safety5

Browse Source 
Safety model (functional) and CLs associated to System version V4.3
This commit is contained in:
romaric.demachy
2022-10-17 17:06:44 +02:00
parent fdff947747
commit 3434bddca2
10 changed files with 31625 additions and 16677 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
model/.project
View File

@@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDASystem_SimfiaNeoModel_System4_2_Safety2</name>
<name>AIDASystem_SimfiaNeoModel</name>
<comment></comment>
<projects>
</projects>

18415
model/AIDASystem_SimfiaNeoModel.simfia Normal file
View File

File diff suppressed because it is too large Load Diff

7133
model/AIDASystem_SimfiaNeoModel_System4_2_Safety2.simfia
View File

File diff suppressed because it is too large Load Diff

15302
model/representations.aird
View File

File diff suppressed because it is too large Load Diff