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

  • Arndt Mühlenfeld (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Fault Detection in Multi-Threaded C++ Server Applications
Period21 Aug 2006 → 22 Aug 2006
Event titleMultithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06)
Event typeConference