Specification of Safety Critical Systems with Intelligent Software Agent Method.

Vinitha Hannah Subburaj Joseph E. Urban Manan R. Shah

Published in: SEKE (2012)

Keyphrases

software agents
safety critical
expert systems
distributed systems
formal methods
data mining
intelligent systems
low cost