Skip to content

General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool.

Toshihiro Obata, Teiichiro Inoue

VenueAMODELS
Year2008
ProceedingsMoDELS

Browse the full MODELS paper archive.