Verification is decisive for embedded software. The goal of this work is to verify temporal properties on industrial applications, with the help of formal dynamic analysis. The approach presented in this paper is composed of three steps: formalization of temporal properties using an adequate language, generation of execution traces from a given property and verification of this property on exec...

Over the past two decades, the role of intellectual property rights in all areas of science and technology has exploded globally– primarily due to the rules prescribed by the World Trade Organization’s TRIPS and by bilateral/regional trade agreements. The TRIPS agreement obligates all WTO member countries to adopt and enforce minimum standards of intellectual property rights. The TRIPS agreemen...

Over the past two decades, the role of intellectual property rights in all areas of science and technology has exploded globally– primarily due to the rules prescribed by the World Trade Organization’s TRIPS and by bilateral/regional trade agreements. The TRIPS agreement obligates all WTO member countries to adopt and enforce minimum standards of intellectual property rights. The TRIPS agreemen...

Actuarial methods for estimating morality parameters of industrial property " (1968). Retrospective Theses and Dissertations. Paper 3550. 1968 Signature was redacted for privacy.

Neurosurgery has tremendous possibilities for development of innovative medical devices. However, most of the neurosurgical devices used in Japan are imported products. Promotion and development of domestic medical devices is highly encouraged and it is one of the pillars of Prime Minister Shinzo Abe's growth strategy of Japanese economy. Innovative "Made in Japan" medical devices can be develo...