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

  • Richard Alexander Schumi (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience 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, Indien

Fields of Expertise

  • Information, Communication & Computing