Applicative Solutions for Safe Computations in Distributed Environments

Type de document :
Communication dans un congrès
Workshop "Trustworthy Software", May 2006, Saarbrücken, Germany. Dagstuhl Research Online Publication Server (DROPS), 2006
Liste complète des métadonnées

https://hal.inria.fr/hal-00691883
Contributeur : Ist Rennes <>
Soumis le : vendredi 27 avril 2012 - 11:42:15
Dernière modification le : jeudi 11 janvier 2018 - 06:22:02

Identifiants

  • HAL Id : hal-00691883, version 1

Collections

Citation

Sébastien Varette, Jean-Louis Roch, Franck Leprévost. Applicative Solutions for Safe Computations in Distributed Environments. Workshop "Trustworthy Software", May 2006, Saarbrücken, Germany. Dagstuhl Research Online Publication Server (DROPS), 2006. 〈hal-00691883〉

Partager

Métriques

Consultations de la notice

113