1 result found Sort:

nasa
ogma nasa
25
335
other
13
Generator of runtime monitors for flight and robotics applications.
rv cfs ros ros2 fprime autonomy robotics assurance space-ros spacecraft flight-software embedded-systems runtime-monitoring runtime-verification robot-operating-system runtime-monitoring-system
Created 2021-08-05
544 commits to develop branch, last one about a month ago