Jonathan D. Mueller

Failure state identification for requirements development during complex system design

Jonathan D. Mueller, 2009 .

A Methodology for Identifying Hardware States and Requirements to Ensure System Reliability and Success in Software-Hardware Systems

Irem Y. Tumer, Jonathan D. Mueller, 2008 .

A Formal Representation of Software-Hardware System Design

Irem Y. Tumer, Paul Strauss, Martin Erwig, 2009 .

Bicycle Network Connectivity for Passenger Rail Stations

Katharine Hunter-Zaworski, Jonathan D. Mueller, 2014 .