Etienne13

Pinned Repositories

BehaviorAnnexErrata
1 2 00
osate2
Open Source AADL2 Tool Environment
Language:HTML00
osate2-core-1
Old osate2-core repository, kept for reference
Language:HTML0 1 00
osate2-plugins
Analysis plugins for OSATE2
Language:Java0 1 00
pok
POK kernel repository. Visit http://pok.tuxfamily.org
Language:C0 1 00
test
00
examples
Examples and case-study that use OSATE
Language:Java56 37 1167
osate2
Open Source AADL2 Tool Environment
Language:Java40 10 2k8
osate2-ba
Old Behavior Annex plug-in for OSATE repository, kept for reference
Language:Java5 15 154
pok
POK kernel. Safe and secure for safety-critical systems.
Language:C95 18 2962

Etienne13's Repositories

Etienne13/BehaviorAnnexErrata
1 2 00
Etienne13/osate2
Open Source AADL2 Tool Environment
Language:HTML00
Etienne13/osate2-core-1
Old osate2-core repository, kept for reference
Language:HTML0 1 00
Etienne13/osate2-plugins
Analysis plugins for OSATE2
Language:Java0 1 00
Etienne13/pok
POK kernel repository. Visit http://pok.tuxfamily.org
Language:C0 1 00
Etienne13/test
00