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

Arndt Mühlenfeld (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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