Publications

Publications de

Communications dans un congrès
Autres 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