4 Einträge gefunden

1. Designing and analyzing open application-oriented labs in software-verification education

   1. Rogalla, Antje
   2. Kamph, Timo
   3. Bulmann, Ulrike
   4. Billerbeck, Katrin
   5. Blumreiter, Mathias
   6. Schupp, Sibylle

   2020 - TUHH Open Research
2. Provably privacy-preserving distributed data aggregation in smart grids

   1. Stübs, Marius
   2. Mueller, Tobias
   3. Bavendiek, Kai
   4. Lösch, Manuel
   5. Schupp, Sibylle
   6. Federrath, Hannes

   2020 - TUHH Open Research
3. Modelling and verification in GDPR's data protection impact assessment : a case study on the AccuWeather/Reveal Mobile Case

   1. Schulz, Wolfgang
   2. Wittner, Florian
   3. Bavendiek, Kai
   4. Schupp, Sibylle

   2020 - TUHH Open Research
4. Synthesizing strategies for needle steering in gelatin phantoms

   1. Rogalla, Antje
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Sprenger, Johanna
   5. Bengs, Marcel
   6. Schlaefer, Alexander
   7. Schupp, Sibylle

   2020 - TUHH Open Research