4 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
3. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - TUHH Open Research
4. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - Forschungsinformationssystem des UKE