Accéder directement au contenu Accéder directement à la navigation


...
hal-03148619v1  Article dans une revue
Andreas RauhJulia Kersten. Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, 331, pp.18-32. ⟨10.4204/EPTCS.331.2⟩