Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP.

Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge

Browse the full FM paper archive.