Verification Across Intellectual Property Boundaries.

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...

書誌詳細
主要な著者:	Chaki, S, Schallhart, C, Veith, H
その他の著者:	Damm, W
フォーマット:	Journal article
言語:	English
出版事項:	Springer 2007

類似資料

A brief account of runtime verification.
著者:: Leucker, M, 等
出版事項: (2009)

Runtime Verification for LTL and TLTL.
著者:: Bauer, A, 等
出版事項: (2011)

Impartial Anticipation in Runtime-Verification.
著者:: Dong, W, 等
出版事項: (2008)

Comparing LTL Semantics for Runtime Verification.
著者:: Bauer, A, 等
出版事項: (2010)

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.
著者:: Jha, S, 等
出版事項: (2007)

Detecting Malicious Code by Model Checking.
著者:: Kinder, J, 等
出版事項: (2005)

Semantic integrity in large-scale online simulations.
著者:: Jha, S, 等
出版事項: (2010)

Proactive Detection of Computer Worms Using Model Checking.
著者:: Kinder, J, 等
出版事項: (2010)

Expanding the boundaries of intellectual property : innovation policy for the knowledge society /
著者:: Dreyfuss, Rochelle Cooper, 1947-, 等
出版事項: (2004)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.
著者:: Holzer, A, 等
出版事項: (2008)

An Introduction to Test Specification in FQL.
著者:: Holzer, A, 等
出版事項: (2010)

Query-Driven Program Testing.
著者:: Holzer, A, 等
出版事項: (2009)

How did you specify your test suite ?
著者:: Holzer, A, 等
出版事項: (2010)

Query−Driven Program Testing
著者:: Holzer, A, 等
出版事項: (2009)

How did you specify your test suite.
著者:: Holzer, A, 等
出版事項: (2010)

An Introduction to Test Specification in FQL
著者:: Holzer, A, 等
出版事項: (2011)

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
著者:: Holzer, A, 等
出版事項: (2008)

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.
著者:: Januzaj, V, 等
出版事項: (2010)

Intellectual disabilities across the lifespan /
著者:: Drew, Clifford J., 1943-, 等
出版事項: (2007)

Proving Reachability Using FShell - (Competition Contribution).
著者:: Holzer, A, 等
出版事項: (2012)

Importance of intellectual capital across borders
著者:: Aw, Jia Hui, 等
出版事項: (2008)

['Literature Across Boundaries']
著者:: Dimitrios Kargiotis
出版事項: (2017-06-01)

Verification of the boundary condition at the porous medium–fluid interface
著者:: Tsiberkin Kirill, 等
出版事項: (2016-01-01)

Personal and sexual boundaries: the experiences of people with intellectual disabilities
著者:: Gøril Brevik Svae, 等
出版事項: (2022-09-01)

Political thought in Islam : a study in intellectual boundaries /
著者:: Lahoud, Nelly, 1972-
出版事項: (2005)

Intellectual property /
著者:: Bainbridge, David I. 418023
出版事項: (2007)

Intellectual property for the Internet /
著者:: Lee, Lewis C., 等
出版事項: (1997)

INTELLECTUAL PROPERTY :
著者:: Parr, Russell L., author 453141, 等
出版事項: ([202)

Intellectual property /
著者:: Bainbridge, David I., author
出版事項: (2012)

Intellectual property /
著者:: 301282 Ng, Max Chee Weng, 等
出版事項: (2002)

Intellectual property
著者:: Raja Abdul Rahman, Raja Noor Zaliha, 等
出版事項: (2012)

Intellectual property /
著者:: Bainbridge, David I. 418023
出版事項: (1994)

Intellectual property /
著者:: Bainbridge, David I. 418023
出版事項: (1999)

Intellectual property /
著者:: Bainbridge, David I. 418023
出版事項: (2009)

Intellectual Property
著者:: Konrad Becker
出版事項: (2000-05-01)

Experimental verification between the functioning of tribosystems in the conditions of boundary lubrication
著者:: A.V. Voitov
出版事項: (2022-03-01)

Verification of Boundary Conditions Applied to Active Flow Circulation Control
著者:: Petr Vrchota, 等
出版事項: (2019-03-01)

The recipe for success in working across boundaries
著者:: Katherine R. O’Brien, 等
出版事項: (2025-01-01)

Intellectual property at the firm-level in the UK: the Oxford firm-level intellectual property database
著者:: Helmers, C, 等
出版事項: (2011)

Fostering collective action to reduce wildfire risk across property boundaries in the American West
著者:: Susan Charnley, 等
出版事項: (2020-01-01)