Computationnal science of Distributed Systems

13:30
Mercredi
28
Nov
2012
  • Séminaire
Lieu : 
Organisé par : 

Arnaud Legrand

Intervenant : 

Martin Quinson

Équipes : 
Mots clés : 
  • Systèmes répartis
  • Systèmes parallèles Vérification - Preuve - Test
  • Sûreté et qualité des logiciels

http://webloria.loria.fr/ quinson/b...