Bevin Duckett

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Video Sequences

Quantitative Analysis

Top Venues

Applicable Formal Methods for Safe Industrial Products

Publications

Bevin Duckett, Klaus Havelund, Luke Stewart
Space Telemetry Analysis with PyContract. Applicable Formal Methods for Safe Industrial Products (2023)