tr-announce June 2007

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

2007-08: Achieving Highly Reliable Embedded Software: An empirical evaluation of different approaches
by Peter Schneider-Kamp
16 years, 11 months

2007-09: A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption
by Peter Schneider-Kamp
16 years, 11 months
Results per page: