tr-announce October 2013

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 4 discussions

2012-17: Trustworthy Spacecraft Design Using Formal Methods
by Thomas Ströder
10 years, 6 months

2013-13: SensorCloud: Towards the Interdisciplinary Development of a Trustworthy Platform for Globally Interconnected Sensors and Actuators
by Thomas Ströder
10 years, 7 months

2013-12: Alternating Runtime and Size Complexity Analysis of Integer Programs
by Thomas Ströder
10 years, 7 months

2013-07: Ein modellbasiertes Sicherheitskonzept für die extrakorporale Lungenunterstützung
by Thomas Ströder
10 years, 7 months
Results per page: