Vincent Rahli

Research Projects

  1. Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment

    Vincent Rahli

    Verified Trustworthy Software Systems

    1/04/2030/09/21

    Project: Research