tr-announce December 2014

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

2014-15: Synthesis of State Space Generators for Model Checking Microcontroller Code
by Thomas Ströder
9 years, 5 months

2014-14: HotBox: Testing Temperature Effects in Sensor Networks
by Thomas Ströder
9 years, 5 months

2014-16: Verifying Probabilistic Systems: New Algorithms and Complexity Results
by Thomas Ströder
9 years, 5 months
Results per page: