2 Einträge gefunden

1. A quantitative metric temporal logic for execution-time constrained verification

   1. Lehmann, Sascha
   2. Antoni, Sven-Thomas
   3. Schlaefer, Alexander
   4. Schupp, Sibylle

   2019 - TUHH Open Research
2. An online model checking approach to soft-tissue detection for rupture

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Schupp, Sibylle
   4. Schlaefer, Alexander

   2019 - TUHH Open Research