Precise specification matching for adaptive reuse in embedded systems

Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan. Precise specification matching for adaptive reuse in embedded systems. J. Applied Logic, 5(2):333-355, 2007. [doi]

Abstract

Abstract is missing.