tr-announce August 2010

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

2010-18: Personalisierte eHomes: Mobilität , Privatsphäre und Sicherheit
by Carsten Fuhs
13 years, 9 months

2010-17: Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
by Carsten Fuhs
13 years, 9 months

2010-16: Automating Acceptance Tests for Sensor- and Actuator-based Systems on the Example of Autonomous Vehicles
by Carsten Fuhs
13 years, 9 months

2010-14: Lazy Abstraction for Size-Change Termination
by Carsten Fuhs
13 years, 9 months

2010-06: Computing maximum reachability probabilities in Markovian timed automata
by Carsten Fuhs
13 years, 9 months
Results per page: