Creation and evaluation of formal specifications for system-of-systems development.

Doron Drusinsky, Man-tak Shing

Browse the full SMC paper archive.