Brian LaValley

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Decision Making

Architectural Models

Top Venues

NASA Formal Methods

Publications

Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha
Compositional Verification of Architectural Models. NASA Formal Methods (2012)
Chris Walter, Peter Ellis, Brian LaValley
The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture. HASE (2005)