Probabilistically Analysable Real-Time Systems

Legal Notice

Access to all pages of this public PROARTIS Website, hereinafter the PROARTIS Website, and the information relating to any of the services contained therein, implies acceptance of the conditions set out in this legal notice.

We therefore recommend that you, hereinafter the user, read this notice carefully.

Effective date for these conditions

These conditions are effective from the date that they have been added to the PROARTIS Website. The project partners reserve the right to modify or delete, either wholly or partially, the current content of the website as they see fit. In the case that any modification is made to these conditions, the modification shall take effect on its respective date of publication and shall apply to all users of this website from that date forward.

Privacy and data protection policy

In the case that the user is asked to submit his/her personal data, he/she will be provided with the following information: the recipient of the data, the purpose of the request for this data, the identity and address of the person responsible for the data. He/she will also have the right to access, change or block the use of said personal data as it is being processed. The personal data collected will only be processed and/or released for the stated purpose and only with the user’s consent.

PROARTIS complies with all legislation regarding the protection of its subscribers’ personal data and keeps such data strictly confidential pursuant to Spanish Organic Law on the Protection of Personal Data (LOPD) 15/99 of 13 December 1999, and the Spanish Law on Information Society Services and Electronic Commerce (Law 34/2002 of 11 July).

Intellectual and industrial property

The PROARTIS Website, as well as all pages comprising it and the content contained therein includes documents, photographs, drawings, graphics, databases, computer programs, logotypes, trademarks, brand names and other distinctive signs protected by intellectual or industrial property rights of which the project partners are the owner or for which they hold the legitimate license.

The project partners make no warranty as to the legitimacy or legality of the content contained in the PROARTIS Website when it is not owned by the project partners.

Permitted and prohibited usage

The user may view, print, copy or store the content of the PROARTIS Website on the hard drive of his/her personal computer or on any other physical media provided that it is solely and exclusively for his/her personal and private use.

Any modification of the content directly on the PROARTIS Website or once it has been stored on any type of media is expressly prohibited. Commercial use of these contents including but not limited to the reproduction, distribution, transfer to third parties, public communication or transformation, on or over any channel or medium is expressly prohibited without the prior authorization of the respective owners and may constitute an offense punishable by law. Linking to this website requires the prior consent of the project coordinator.

It is the sole responsibility of the user to use, save and store the content and services appropriately as well as to ensure that he/she does not infringe upon any of the intellectual or industrial property rights of the PROARTIS Partners.

Under no circumstances does this notice constitute an authorization or licensing of property rights.