Specification of Safety Critical Systems with Intelligent Software Agent Method

Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah. Specification of Safety Critical Systems with Intelligent Software Agent Method. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 578-581, Knowledge Systems Institute Graduate School, 2012.

Abstract

Abstract is missing.