NAME OF EFFORT: FORMALLY GENERATING SECURE ADAPTIVE SYSTEMS TYPE OF AWARD: COOPERATIVE AGREEMENT THE RECIPIENT SHALL PERFORM A COORDINATED RESEARC

Cornell University, Ithaca NY

Investigators