![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Developing and Testing Software for the 14-BISat Nanosatellite
Keywords: ماهواره های مصنوعی; Embedded systems; Artificial satellites; Automatic testing; Code generation; Finite state machines;