Distributed fault-tolerance techniques for local computations / présentée par Brahim
Hamid ; sous la direction de Yves Métivier et Mohamed Mosbah, 2007
Megha Quamara, Gabriel Pedroza, Brahim Hamid. Facilitating safety and security co-design
and formal analysis in multi-layered system modeling. 20th IEEE International Conference
on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy.
à paraître. ⟨cea-03789114⟩, 2022-11-10
www.irit.fr, 2022-11-10
Information trouvée : En poste à l'Université Toulouse-Jean Jaurès et membre de l’Institut de Recherche
en Informatique de Toulouse (en 2022)