Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Why Amazon Chose TLA+
du groupe Modélisation et Verification

Date 2014-06-02  11:30-12:30
TitreWhy Amazon Chose TLA+ 
RésuméSince 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. This talk describes the reasons why we chose TLA+ instead of other methods, how we’ve applied it so far, and areas in which we would welcome further progress. 
LieuAmphi du LaBRI 
OrateurChris Newcombe 
UrlAmazon.com 



Aucun document lié à cet événement.

Retour
Retour à l'index