<--- Back to Details
First PageDocument Content
Systems science / Human factors integration / Systems engineering / Knowledge / Science / Human factors / Department of Defense Architecture Framework / Usability / Network-enabled capability / Ergonomics / Systems psychology / Net-centric
Date: 2012-04-26 09:33:27
Systems science
Human factors integration
Systems engineering
Knowledge
Science
Human factors
Department of Defense Architecture Framework
Usability
Network-enabled capability
Ergonomics
Systems psychology
Net-centric

HFI DTC Deliverables For further information on any of the Human Factors Integration Defence Technology Centre (HFI DTC) outputs listed here, please contact: Stewart Webb BAE Systems Alvington

Add to Reading List

Source URL: www.hfidtc.com

Download Document from Source Website

File Size: 104,19 KB

Share Document on Facebook

Similar Documents

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

DocID: 1xVRU - View Document

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2  Department of Computer Science, The University of Texas at Austin

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

DocID: 1xVI3 - View Document

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

DocID: 1xVqL - View Document

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

DocID: 1xVk1 - View Document

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document