Applying Formal Methods for Human Error Tolerant Design

☆ Save

Bob Fields,Peter C. Wright,Michael D. Harrison

ICSE Workshop on SE-HCI

published 1st of January, 1994

Comments 0

No comments yet. Be the first to say something about this.

Looking for a structured thread — a question, a reproduction problem, a benchmark result? Start a discussion instead.

Read the paper

Details

HuggingPeers ID: ID hpp-sHKVElSWtR1
Publication: ICSE Workshop on SE-HCI
Published: 1st of January, 1994

Provenance 1

Source	ID	Citations
DBLP	conf/icse/FieldsWH94	—

Cite this paper

@article{fields1994,
  title = {Applying Formal Methods for Human Error Tolerant Design},
  author = {Bob Fields and Peter C. Wright and Michael D. Harrison},
  journal = {ICSE Workshop on SE-HCI},
  year = {1994},
  month = {Jan},
  doi = {10.1007/bfb0035815},
  url = {https://doi.org/10.1007/bfb0035815},
}

Bob Fields et al. (1994). Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI. https://doi.org/10.1007/bfb0035815

Bob Fields, et al.. "Applying Formal Methods for Human Error Tolerant Design." ICSE Workshop on SE-HCI, 1994, https://doi.org/10.1007/bfb0035815.

Bob Fields, et al.. "Applying Formal Methods for Human Error Tolerant Design." ICSE Workshop on SE-HCI (1994). https://doi.org/10.1007/bfb0035815

Bob Fields et al., 1994. Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI. Available at: <https://doi.org/10.1007/bfb0035815>.

TY  - JOUR
TI  - Applying Formal Methods for Human Error Tolerant Design
AU  - Bob Fields
AU  - Peter C. Wright
AU  - Michael D. Harrison
PY  - 1994
JO  - ICSE Workshop on SE-HCI
DO  - 10.1007/bfb0035815
UR  - https://doi.org/10.1007/bfb0035815
ER  -