Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Modbat: A Model-based API Tester for Event-driven Systems

  • Armin Biere (Vortragende*r)
  • Seidl, M. (Vortragende*r)

Aktivität: Vortrag oder PräsentationEingeladener Vortragunbekannt

Zeitraum05 Nov. 2013
EreignistitelHaifa Verification Conference
VeranstaltungstypKonferenz
OrtIsraelAuf Karte anzeigen

Wissenschaftszweige

  • 102 Informatik
  • 101 Mathematik
  • 102011 Formale Sprachen

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics