Developing and Testing Software for the 14-BISat Nanosatellite
Keywords: ماهواره های مصنوعی; Embedded systems; Artificial satellites; Automatic testing; Code generation; Finite state machines;