Items where Institution is :Other partners > Universidad del Papaloapan - UNPA (MEXICO)

Khlif, Houda and Hadj Kacem, Hatem and Pomares Hernandez, Saùl E. and Eichler, Cédric and Hadj Kacem, Ahmed and Calixto Simon, Alberto A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. (2014) In: 23rd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), 23 June 2014 - 25 June 2014 (Parme, Italy).