GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ OpenAADL
1 open source projects by OpenAADL
[ Open user page on Github ]
1.
ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
✭ 47
Ada
shell
Makefile
python
M4
Alloy
aadl
1-1
of
1
user projects
