3 research outputs found

    Specification and compositional verification of real-time systems

    Get PDF

    Deep space communication and navigation study. Volume 2 - Communication technology Final report

    Get PDF
    Alternative types of communication systems for deep space probes and extent of aid spacecraft can provide for deep space navigatio
    corecore