Multithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06)

Arndt Mühlenfeld (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Fault Detection in Multi-Threaded C++ Server Applications
Zeitraum21 Aug 200622 Aug 2006
EreignistitelMultithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06)
VeranstaltungstypKonferenz