Specification of Safety Critical Systems with Intelligent Software Agent Method.

Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah

Browse the full SEKE paper archive.