Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > N > Ngô Van Chan
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Formal verification of a synchronous data-flow compiler : from Signal to C
  • Consulter la notice
  • Date de publication : 
    • 01-07-2014  | 
  • Auteur(s) : 
    • Ngô Van Chan  | 
  • Editeur(s) : 
    • Université de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • Les langages synchrones tels que Signal, Lustre et Esterel sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvée...


  • Référencé le  : 
    • 14-12-2015
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI