Publications

Publications de

Articles dans des revues internationales Conférences et workshops internationaux avec actes édités et comité de lecture Contributions à des ouvrages de synthèse Autres types de 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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant