Event-B Examples Sample Clauses

Event-B Examples. Some Event-B examples has been deposited at the DEPLOY repository [DEP] with links from the Event-B Wiki [EBa]. The direct URL location is http: //xxxx.xxxxx-x.xxx/xxxxx.xxx/Xxxxx-X_Xxxxxxxx. The list of the cur- rent examples is as follows. • Redevelopment of an Industrial Case Study Using Event-B and Rodin
AutoNDA by SimpleDocs

Related to Event-B Examples

  • Preceptor Differential The Hospital shall pay a differential of $1.50 per hour to a nurse who is designated by nursing management to serve as a preceptor to provide on-the-job training to newly hired nurses. One differential will be paid per shift per orientee to the primary preceptor for all hours served as the primary preceptor for that shift. Preceptor will only be paid while the newly hired nurse is in a one-to-one status. Preceptor is a voluntary assignment and the nurse has the option to refuse the preceptor assignment.

  • Offense Level Calculations i. The base offense level is 7, pursuant to Guideline § 2B1.1(a)(1).

  • Bilingual Differential When formally assigned in the employee’s position description, an employee assigned to interpret to or from another language to English will receive a differential of five percent (5%) of base pay.

  • CORRECTIVE MEASURE The contractor shall repair any deficiencies in excess of the performance guideline.

  • Regulatory Event New Taxes If, after the Effective Date, a Regulatory Event occurs or New Taxes are imposed, and such event or taxes have a direct, material and adverse effect on the economic benefits to a Party of this ESA, the affected Party shall send written notice to the other Party, setting forth the Regulatory Event or New Taxes and reasonably demonstrating the effect of the same on the affected Party. Upon delivery of such notice, the Parties shall use reasonable efforts to negotiate an amendment to this ESA to mitigate such effect. Alternatively, if as a direct result of such a Regulatory Event or New Taxes, the Competitive Supplier incurs additional, material costs, the Competitive Supplier shall provide a written notice to the Town that documents: a) the effective date of the Regulatory Event or New Taxes; b) a detailed explanation and reasonable demonstration of the material costs incurred as a result of the Regulatory Event or New Taxes; c) the timing of the cost impact to be incurred by the Competitive Supplier; d) the proposed price increase per kWh to be passed on to Participating Consumers; and e) a proposed plan for coordinating with the Local Distributor for an increase in the price per kWh that is billed by the Local Distributor, designed to reimburse the Competitive Supplier for such cost impact. If the Town and the Competitive supplier cannot agree on the amendment to this ESA or reimbursement contemplated by this section, the matter may be subject to dispute resolution in accordance with section 12.2. In no event shall a price change become effective without providing Participating Consumers with a 30-day advance notice of the price change.

  • Cost Overruns The Borrower shall ensure that all cost-overruns over the estimated construction costs of the Project as certified by a quantity surveyor or the Architect or as ascertained by the Lender as and when they occur shall be funded by the Borrower’s own equity;

  • Product Changes Vocera shall have the right, in its absolute discretion, without liability to End User, to update to provide new functionality or otherwise change the design of any Product or to discontinue the manufacture or sale of any Product. Vocera shall notify End User at least 90 days prior to the delivery of any Product which incorporates a change that adversely affects form, fit or function (“Material Change”). Vocera shall also notify End User at least 90 days prior to the discontinuance of manufacture of any Product. Notification will be made as soon as reasonably practical for changes associated with regulatory or health and safety issues.

  • For Lump Sum Change Order The payment and extension of time (if any) provided by this Change Order constitutes compensation in full to the Contractor and its Subcontractors and Suppliers for all costs and markups directly and indirectly attributable to the Change Order herein, for all delays related thereto and for performance of changes within the time stated.

  • Evening Shift Differential A shift premium of two dollars and seventy-five cents ($2.75) per hour shall be paid:

  • Power Factor Design Criteria Developer shall design the Large Generating Facility to maintain an effective power delivery at demonstrated maximum net capability at the Point of Interconnection at a power factor within the range established by the Connecting Transmission Owner on a comparable basis, until NYISO has established different requirements that apply to all generators in the New York Control Area on a comparable basis. The Developer shall design and maintain the plant auxiliary systems to operate safely throughout the entire real and reactive power design range. The Connecting Transmission Owner shall not unreasonably restrict or condition the reactive power production or absorption of the Large Generating Facility in accordance with Good Utility Practice.

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