Verifikation von Flugsystemen

Semialgebraische und statistische Korrektheitszertifikate für komplexe aeronautische Systeme

Zum Seitenanfang