Formal Requirements-Based Programming for Complex Systems.

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

Browse the full ICECCS paper archive.