9,389 research outputs found
Plan Assurance Qualité for an Installation Contract
The current ST/EL group's installation and maintenance contract expires on June 2001. Official procedures for a new contract began a few months ago. Once the new contract has been adjudicated, contractor firm should establish a Quality Assurance Plan (PAQ) within 6 months to be approved. This PAQ is the essential main instrument which ST/EL group has in order to assure a perfect achievement of signed contract. PAQ efficiency depends on its good knowledge and its permanent application on the part of the contractor firm and especially on the part of ST/EL group. The acquired experience during last PAQ should be reflected in the future contract
Satisfiability of CTL* with constraints
We show that satisfiability for CTL* with equality-, order-, and
modulo-constraints over Z is decidable. Previously, decidability was only known
for certain fragments of CTL*, e.g., the existential and positive fragments and
EF.Comment: To appear at Concur 201
- …