Skip to main content

Search results for "formal models"

Viewing 1 - 20 of 318 results by relevance
Consensus Study Report

Behavioral Modeling and Simulation: From Individuals to Societies  (2008)

Consensus Study Report

Software for Dependable Systems: Sufficient Evidence?  (2007)

Improving Energy Demand Analysis  (1984)

Consensus Study Report

Trust in Cyberspace  (1999)

Airport Ground Access Mode Choice Models  (2008)

Enhancing Human Performance: Background Papers, Issues of Theory and Methodology  (1988)

Consensus Study Report

The Science of Regional and Global Change: Putting Knowledge to Work  (2001)

Consensus Study Report

Foundational Cybersecurity Research: Improving Science, Engineering, and Institutions  (2017)

Proceedings

Disrupting Improvised Explosive Device Terror Campaigns: Basic Research Opportunities: A Workshop Report  (2008)

Consensus Study Report

Design and Analysis of Integrated Manufacturing Systems  (1988)

Proceedings

Methods for Designing Software to Fit Human Needs and Capabilities: Proceedings of the Workshop on Software Human Factors  (1985)

Scaling Up: A Research Agenda for Software Engineering  (1989)

Improving Information for Social Policy Decisions -- The Uses of Microsimulation Modeling: Volume I, Review and Recommendations  (1991)

Consensus Study Report

Knowing What Students Know: The Science and Design of Educational Assessment  (2001)

Review of the St. Johns River Water Supply Impact Study: Report 2  (2009)

Consensus Study Report

Interim Report on 21st Century Cyber-Physical Systems Education  (2015)

The Impacts of Natural Disasters: A Framework for Loss Estimation  (1999)

Consensus Study Report

The Role of Theory in Advancing 21st-Century Biology: Catalyzing Transformative Research  (2008)

Managing Capital Costs of Major Federally Funded Public Transportation Projects: Research Results Digest  (2006)

Consensus Study Report

Global Environmental Change: Understanding the Human Dimensions  (1992)