Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.

Michael G. Hinchey, James L. Rash, Christopher A. Rouff

Browse the full ICPADS paper archive.