Skip to main content

Search results for "temporal logic"

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

A 21st Century Cyber-Physical Systems Education  (2016)

Memorial Tributes: Volume 16  (2012)

2013-2014 Assessment of the Army Research Laboratory  (2015)

Fostering Flexibility in the Engineering Work Force  (1990)

Proceedings

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

Research Restructuring and Assessment: Can We Apply the Corporate Experience to Government Agencies?  (1995)

Proceedings

Measuring and Sustaining the New Economy: Report of a Workshop  (2002)

Consensus Study Report

Critical Code: Software Producibility for Defense  (2010)

Computing the Future: A Broader Agenda for Computer Science and Engineering  (1992)

Memorial Tributes: Volume 24  (2022)

Funding a Revolution: Government Support for Computing Research  (1999)

Consensus Study Report

Technology Development for Army Unmanned Ground Vehicles  (2002)

Activity-Based Travel Demand Models: A Primer  (2014)

Consensus Study Report

Design and Analysis of Integrated Manufacturing Systems  (1988)

Incorporating Reliability Performance Measures into Operations and Planning Modeling Tools  (2014)

Quality and Accuracy of Positional Data in Transportation  (2003)

Consensus Study Report

Information Technology and the U.S. Workforce: Where Are We and Where Do We Go from Here?  (2017)

Social Dynamics of Adolescent Fertility in Sub-Saharan Africa  (1993)

Consensus Study Report

Catalyzing Inquiry at the Interface of Computing and Biology  (2005)