Verification Across Intellectual Property Boundaries.

In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) rights, the customer usually has no direct access to the suppliers' source code, and is able to enforce the use of veri...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Chaki, S, Schallhart, C, Veith, H
Tác giả khác: Damm, W
Định dạng: Journal article
Ngôn ngữ:English
Được phát hành: Springer 2007