Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Michael Harrison

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Autres types de publications / Other publications
  • Michael Harrison, Philippe Palanque, David Navarre. The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?. Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)
    Résumé
    BibTeX