Model checking investigations for fault protection system validation
Explore the source record for details and available documents.
model checking statechart translation validation↗
Engineering topics
Barltrop, K.
Publications and source records attributed to Barltrop, K..
Cassini attitude control software testing: performance verification of a deep space mission
Explore the source record for details and available documents.
Cassini attitude control testing simulation↗