Event-B Deployment and Open Issues Sample Clauses

Event-B Deployment and Open Issues. Below is a list of open issues relating to an eventual deployment of Event-B in an industrial development of Transportation Systems.
AutoNDA by SimpleDocs

Related to Event-B Deployment and Open Issues

  • Management and Operations 15.1 The Operator shall prepare an annual work programme and budget for each Calendar Year during the term of this Agreement. Each such work programme and budget shall set out in reasonable details, the work to be carried out, facilities to be purchased or created, training and employment programme, establishment, salaries and wages, social welfare schemes to be undertaken, and an estimate of the Expenditure to be incurred. The Operator shall present such work programme and budget to the Government and the Working Interest Owners before the start of each Calendar Year and thereafter provide a quarterly update on the implementation of such work programme and budget.

  • Management and Operations of the Borrower Section 4.01. The Borrower shall carry on its operations and conduct its affairs in accordance with sound administrative, financial, engineering and public utility practices under the supervision of qualified and experienced management assisted by competent staff in adequate numbers.

  • Formal Evaluations The employer shall undertake formal evaluations of an employee’s performance of the various duties and responsibilities of a position only if one or more of the following conditions is present: • employee request • mutual agreement of hiring unit and employee • recommendation arising from informal evaluation • decision of Chair, Xxxx, Director or designate resulting from the processing of a complaint in accordance with Article 8.

  • Suspended Operations If the University President or designee determines that the public health, property or safety is jeopardized and it is advisable due to emergency conditions to suspend the operation of all or any portion of the University, the following will govern represented individuals:

  • Disbursement Generally OEM shall reimburse eligible costs incurred in carrying out the Project, up to the Grant Fund amount provided in Section 3. Reimbursements shall be made by OEM upon approval by OEM of an RFR. Eligible costs are the reasonable and necessary costs incurred by Subrecipient for the Project, in accordance with the Emergency Management Performance Grants guidance and application materials, including without limitation the United States Department of Homeland Security Notice of Funding Opportunity Announcement (NOFO), that are not excluded from reimbursement by OEM, either by this Agreement or by exclusion as a result of financial review or audit. The guidance, application materials and NOFO are available at xxxx://xxx.xxxxxx.xxx/OEM/emresources/Grants/Pages/EMPG.aspx

  • Data Protection Impact Assessment and Prior Consultation Processor shall provide reasonable assistance to the Company with any data protection impact assessments, and prior consultations with Supervising Authorities or other competent data privacy authorities, which Company reasonably considers to be required by article 35 or 36 of the GDPR or equivalent provisions of any other Data Protection Law, in each case solely in relation to Processing of Company Personal Data by, and taking into account the nature of the Processing and information available to, the Contracted Processors.

  • Service Level Commitment IBM provides the following service level commitment (“SLA”) for the Cloud Service, after IBM makes the Cloud Service available to you.

  • Formal Evaluation All formal evaluations of personnel shall be conducted openly and with full knowledge of the employee concerned by an administrator or supervisor of the District.

  • Building Commissioning Services The Owner may provide as a part of its testing services the Building Commissioning services involving the project’s HVAC and exhaust systems, temperature control systems, fire detection and alarm systems, emergency power and lighting system, fire suppression system, security locks and security locking control systems, food service equipment (if applicable), and laundry equipment (if applicable). In the event the Using Agency’s Program specifies additional commissioning services, the Owner shall procure such services as well. The Owner, through its Executive Administrator, may engage an independent Commissioning Authority. It is the intent of this Article that the Commissioning Authority enforce the requirements mentioned herein and certify that the systems and equipment listed all function properly prior to the initiation of each final inspection.

  • Office of Inspector General Investigative Findings Expert Review In accordance with Senate Bill 799, Acts 2021, 87th Leg., R.S., if Texas Government Code, Section 531.102(m-1)(2) is applicable to this Contract, Contractor affirms that it possesses the necessary occupational licenses and experience.

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