Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software

(1) , (1) , (1) , (1) , (1) , (2, 1) , , (1)
1
2

Dates and versions

cea-01809015 , version 1 (06-06-2018)

Identifiers

Cite

Richard Bonichon, Géraud Canet, Lo\"ic 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⟩
116 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More