Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems

  • Authors:
  • Philippe A. Palanque;Rémi Bastide;Fabio Paternò

  • Affiliations:
  • -;-;-

  • Venue:
  • INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract