Communication Dans Un Congrès
Année : 2011
Loïc Correnson : Connectez-vous pour contacter le contributeur
https://cea.hal.science/cea-01809015
Soumis le : mercredi 6 juin 2018-12:16:23
Dernière modification le : mardi 3 septembre 2024-11:16:05
Citer
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⟩
Collections
143
Consultations
0
Téléchargements