"A Method of Safety Analysis for Runtime Code Update."

Masatomo Hashimoto (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics