Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formalizing Ordinary Differential Equations in PVS


    Contributors:
    Kyle Wianecki (author) / Tanner Slagel (author) / Aaron Dutle (author)

    Conference:

    NASA Exit Presentation ; 2020 ; Virtual, US


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English