tr-announce August 2010

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

2010-18: Personalisierte eHomes: Mobilität , Privatsphäre und Sicherheit
von Carsten Fuhs
13 Jahre, 7 Monate

2010-17: Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
von Carsten Fuhs
13 Jahre, 7 Monate

2010-16: Automating Acceptance Tests for Sensor- and Actuator-based Systems on the Example of Autonomous Vehicles
von Carsten Fuhs
13 Jahre, 7 Monate

2010-14: Lazy Abstraction for Size-Change Termination
von Carsten Fuhs
13 Jahre, 7 Monate

2010-06: Computing maximum reachability probabilities in Markovian timed automata
von Carsten Fuhs
13 Jahre, 7 Monate
Ergebnisse pro Seite: