Yingfan Lei

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Verteilte Systeme bestehen aus nebenläufigen Komponenten, die miteinander über Nachrichten oder Ereignisse kommunizieren. Ob das System sich korrekt verhält, bestimmt nicht nur der Inhalt und die Reihenfolge von Ereignissen, sondern auch ihr zeitlicher Abstand. Die klassische Lösung mittels Pfadsuche in Zustandsdigrammen für den Integrationstest(More)
  • 1