Skip to main content

Search results for "formal methods"

Filters: other other ×
Viewing 1 - 20 of 209 results by relevance

Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues  (1997)

Maintaining U.S. Leadership in Aeronautics: Breakthrough Technologies to Meet Future Air and Space Transportation Needs and Goals  (1998)

Keeping the U.S. Computer Industry Competitive: Defining the Agenda  (1990)

Theoretical Foundations for Decision Making in Engineering Design  (2001)

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

Fixed-Route Transit Ridership Forecasting and Service Planning Methods  (2006)

Application of Enterprise Risk Management at Airports  (2012)

Communicating the Value of Transportation Research  (2009)

Statistical Software Engineering  (1996)

Myths and Tradeoffs: The Role of Tests in Undergraduate Admissions  (1999)

Toward a New National Weather Service: A First Report  (1991)

Risk and Decision Making: Perspectives and Research  (1982)

Probabilistic Methods in Geotechnical Engineering  (1995)

Safety Reporting Systems at Airports  (2014)

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

Ontologies in the Behavioral Sciences: Accelerating Research and the Spread of Knowledge: Digest Version  (2022)

Proceedings

Frontiers of Engineering: Reports on Leading-Edge Engineering from the 2009 Symposium  (2010)

An Assessment of the National Institute of Standards and Technology Measurement and Standards Laboratories: Fiscal Year 1999  (1999)

Ramp Safety Practices  (2011)