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

Toshihiro Obata, Teiichiro Inoue. General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool. In Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter, editors, Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Volume 5301 of Lecture Notes in Computer Science, pages 889-895, Springer, 2008. [doi]

Abstract

Abstract is missing.