Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram. Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. In Francesco Flammini, Sandro Bologna, Valeria Vittorini, editors, Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Volume 6894 of Lecture Notes in Computer Science, pages 85-98, Springer, 2011. [doi]

This author has not been identified. Look up 'Richard Bonichon' in GoogleThis author has not been identified. Look up 'Géraud Canet' in GoogleThis author has not been identified. Look up 'Loïc Correnson' in GoogleThis author has not been identified. Look up 'Eric Goubault' in GoogleThis author has not been identified. Look up 'Emmanuel Haucourt' in GoogleThis author has not been identified. Look up 'Michel Hirschowitz' in GoogleThis author has not been identified. Look up 'Sébastien Labbé' in GoogleThis author has not been identified. Look up 'Samuel Mimram' in Google

runs on WebDSL