"Specification of Safety Critical Systems with Intelligent Software Agent ..."

Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics