Message d'erreur

  • Warning : DOMDocument::load(https://ose.imag.fr/local/api/get/people/?api_key=fa45Fjur58L4599fgBkriopBazex1124&laboratoire=lig&projet_service=convecs): failed to open stream: HTTP request failed! HTTP/1.0 500 Internal Server Error dans lig_ose_annuaire_xml_request_equipe() (ligne 1928 dans /etc/drupal7/www.liglab.fr/modules/lig_ose/lig_ose.module).
  • Warning : DOMDocument::load(): I/O warning : failed to load external entity "https://ose.imag.fr/local/api/get/people/?api_key=fa45Fjur58L4599fgBkriopBazex1124&laboratoire=lig&projet_service=convecs" dans lig_ose_annuaire_xml_request_equipe() (ligne 1928 dans /etc/drupal7/www.liglab.fr/modules/lig_ose/lig_ose.module).
CONVECS - Construction de Systèmes Concurrents Vérifiés
Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Responsable : 
Téléphone/Fax : 
04 76 61 54 86
Bâtiment : 
CONVECS est une équipe-projet Inria qui s’intéresse à la conception fiable des systèmes concurrents et critiques contenant du parallélisme asynchrone. Les recherches de CONVECS portent sur la définition de langages formels pour décrire le comportement, les propriétés logiques et les aspects quantitatifs de ces systèmes, ainsi que sur les techniques de vérification compositionnelle, à la volée, parallèle et distribuée permettant de traiter des systèmes de grande taille. CONVECS développe des outils logiciels avancés, qui sont largement utilisés en milieu académique et industriel.
Mots clés : 
S'abonner à RSS - CONVECS