tr-announce Oktober 2013

tr-announce@lists.rwth-aachen.de
  • 1 Teilnehmer
  • 4 Diskussionen

2012-17: Trustworthy Spacecraft Design Using Formal Methods
von Thomas Ströder
10 Jahre, 5 Monate

2013-13: SensorCloud: Towards the Interdisciplinary Development of a Trustworthy Platform for Globally Interconnected Sensors and Actuators
von Thomas Ströder
10 Jahre, 5 Monate

2013-12: Alternating Runtime and Size Complexity Analysis of Integer Programs
von Thomas Ströder
10 Jahre, 5 Monate

2013-07: Ein modellbasiertes Sicherheitskonzept für die extrakorporale Lungenunterstützung
von Thomas Ströder
10 Jahre, 5 Monate
Ergebnisse pro Seite: