A Process for Specifying Black Box Behavior, Demonstrated in a Case Study.

Stephanie White, Herbert Warner

Browse the full ICECCS paper archive.