Skip to Main content Skip to Navigation
Conference papers

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 : Thursday, March 5, 2020 - 6:36:23 PM

Links full text

Identifiers

Collections

CEA | CNRS | LIX | X-DEP-INFO | X-LIX | DRT | X | LIST

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

241