Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016

  • Richard Alexander Schumi (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Towards Integrating Statistical Model Checking into Property-Based Testing
Zeitraum18 Nov. 2016
Ereignistitel14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016
VeranstaltungstypKonferenz
OrtKanpur, IndienAuf Karte anzeigen

Fields of Expertise

  • Information, Communication & Computing

Dokumente & Verweise

Verbundene Inhalte