MOISE
/
Timed-Altarica-To-Fiacre-Translator
mirror of http://172.16.200.102/MOISE/Timed-Altarica-To-Fiacre-Translator.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2 Commits
1 Branch
0 Tags
4.6 MiB
 
 
 
 
 
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Timed-Altarica-To-Fiacre-Tr.../doc/Rapport post-doc/figures
Pierre Gaufillet 18eb3f6047
Initial commit. 		6 years ago
..
0- AOCS mode Abstract.png Initial commit. 6 years ago
2-2 - AOCS mode automaton.png Initial commit. 6 years ago
2-3 - ASH mode.png Initial commit. 6 years ago
2-4 set ON the equipment for ASM mode.png Initial commit. 6 years ago
2-5 ACM automaton.png Initial commit. 6 years ago
2-6 set ON the equipment for ACM mode.png Initial commit. 6 years ago
2-7 Collision Avoidance Mode.png Initial commit. 6 years ago
2-8 OCM automaton.png Initial commit. 6 years ago
2-9 Formation Control Mode.png Initial commit. 6 years ago
AOCS mode.png Initial commit. 6 years ago
AOCSmode_schema.png Initial commit. 6 years ago
AirSpeed_Computation.jpg Initial commit. 6 years ago
ERTS - AOCS mode.png Initial commit. 6 years ago
EUTELSAT-172B-SATELLITE.jpg Initial commit. 6 years ago
Equipment Mode.png Initial commit. 6 years ago
Function2_1.pdf Initial commit. 6 years ago
Function2_1.png Initial commit. 6 years ago
Function2_1.svg Initial commit. 6 years ago
Function2_1.tex Initial commit. 6 years ago
Function2_2.pdf Initial commit. 6 years ago
Function2_2.png Initial commit. 6 years ago
Function2_2.svg Initial commit. 6 years ago
Gnc mode simplifie.png Initial commit. 6 years ago
Modele0.png Initial commit. 6 years ago
Modele0F4.png Initial commit. 6 years ago
Modele1.png Initial commit. 6 years ago
Modele2.png Initial commit. 6 years ago
passerelle.png Initial commit. 6 years ago
satellite_telecom.png Initial commit. 6 years ago
space_systems_2.jpg Initial commit. 6 years ago
table1.png Initial commit. 6 years ago
texput.log Initial commit. 6 years ago