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]
@inproceedings{ObataI08, title = {General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool}, author = {Toshihiro Obata and Teiichiro Inoue}, year = {2008}, doi = {10.1007/978-3-540-87875-9_61}, url = {http://dx.doi.org/10.1007/978-3-540-87875-9_61}, tags = {rule-based}, researchr = {https://researchr.org/publication/ObataI08}, cites = {0}, citedby = {0}, pages = {889-895}, booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings}, editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter}, volume = {5301}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-87874-2}, }