Publications de
Houda Khlif, Hatem Hadj Kacem, Saùl E. Pomares Hernandez, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon
A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems (regular paper)
Dans : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Parme, Italie, 23/06/14-25/06/14, IEEE : Institute of Electrical and Electronics Engineers, p. 80-85, juin 2014.