Probabilities and failures Sample Clauses

Probabilities and failures. It appeared quite quickly that proving safety (or availability) properties without any failure is pointless, since in that case we can only prove that the system is safe...providing nothing wrong happens! It is therefore needed to model failures. But then, some proof obligations (safety properties after a failure) cannot be discharged any more. To prove these properties, it appeared that probabilities had to be added in the model. An experiment has been performed on the minipilot to add probabilities, with success.
AutoNDA by SimpleDocs

Related to Probabilities and failures

  • Accident and Incident Investigations An accident, injury, critical injury, or hazardous situation will be investigated in accordance with the CJHSC’s investigation protocol.

  • Patent Filing Responsibilities and Costs 1. The invention and patent rights herein apply to any patent application or patents covering an invention made under this Agreement. Each Party is responsible for its own costs of obtaining and maintaining patents covering sole inventions of its employees. The Parties may agree otherwise, upon the reporting of any invention (sole or joint) or in any license granted.

  • Accident Investigations When an accident occurs involving the equipment or personnel of a Supporting Agency, the Protecting Agency shall immediately notify the jurisdictional and supporting agencies. As soon as practical, the Protecting Agency shall initiate an investigation of the accident. The investigation shall be conducted by a team of representatives from the affected agencies, as appropriate. As appropriate, the Parties agree that the Protecting Agency will provide notification of the accident to the National Transportation Safety Board, or the Occupational Safety and Health Administration and other appropriate Agencies.

  • Investigation of Grievances The investigation of grievances shall not interfere with the orderly process of education in District 281.

  • Accident Investigation All accidents resulting in a fatality or injury requiring medical treatment will be investigated by one representative of the IBEW and one representative of the Employer. The accident investigation report will be submitted to:

  • Investigation of Accidents The Occupational Health and Safety Committees, as provided in Clause 22.2, shall be notified of each accident or injury and shall investigate and report to the Union and Employer on the nature and cause of the accident or injury. In the event of a fatality the Employer shall immediately notify the President of the nature and circumstances of the accident.

  • Adverse Events Subsequent to the date hereof, there shall not have occurred any of the following: (i) a suspension or material limitation in trading in securities generally on the New York Stock Exchange, the NASDAQ National Market or the NASDAQ Global Market, (ii) a general moratorium on commercial banking activities in the People’s Republic of China or New York, (iii) the outbreak or escalation of hostilities involving the United States or the People’s Republic of China or the declaration by the United States or the People’s Republic of China of a national emergency or war if the effect of any such event specified in this clause (iii) in your reasonable judgment makes it impracticable or inadvisable to proceed with the public offering or the delivery of the Shares on the terms and in the manner contemplated in the Prospectus, or (iv) such a material adverse change in general economic, political, financial or international conditions affecting financial markets in the United States or the People’s Republic of China having a material adverse impact on trading prices of securities in general, as, in your reasonable judgment, makes it impracticable or inadvisable to proceed with the public offering of the Shares or the delivery of the Shares on the terms and in the manner contemplated in the Prospectus.

  • Grievance Investigations Where an employee has asked or is obliged to be represented by the Institute in relation to the presentation of a grievance and an employee acting on behalf of the Institute wishes to discuss the grievance with that employee, the employee and the representative of the employee will, where operational requirements permit, be given reasonable leave with pay for this purpose when the discussion takes place in the headquarters area of such employee and leave without pay when it takes place outside the headquarters area of such employee.

  • FLORIDA CONVICTED/SUSPENDED/DISCRIMINATORY COMPLAINTS By submission of an offer, the respondent affirms that it is not currently listed in the Florida Department of Management Services Convicted/Suspended/Discriminatory Complaint Vendor List.

  • Adverse Event Reporting Both Parties acknowledge the obligation to comply with the Protocol and / or applicable regulations governing the collection and reporting of adverse events of which they may become aware during the course of the Clinical Trial. Both Parties agree to fulfil and ensure that their Agents fulfil regulatory requirements with respect to the reporting of adverse events.

Time is Money Join Law Insider Premium to draft better contracts faster.