Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software

Document type :
Conference papers
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01809015
Contributor : Loïc Correnson <>
Submitted on : Wednesday, June 6, 2018 - 12:16:23 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:28 PM

Links full text

Identifiers

Collections

Citation

Richard Bonichon, Géraud Canet, Lo\"ıc Correnson, Eric Goubault, Emmanuel Haucourt, et al.. Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, 2011, Unknown, Unknown Region. pp.85--98, ⟨10.1007/978-3-642-24270-0_7⟩. ⟨cea-01809015⟩

Share

Metrics

Record views

150