| |
| 2006 | ||
|---|---|---|
| 5 | EE | Héctor Ruíz Barradas, Didier Bert: Propriétés dynamiques avec hypothèses d'équité en B événementiel. Technique et Science Informatiques 25(1): 73-102 (2006) |
| 2005 | ||
| 4 | EE | Héctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. IFM 2005: 327-346 |
| 3 | EE | Héctor Ruíz Barradas, Didier Bert: Proof obligations for specification and refinement of liveness properties under weak fairness CoRR abs/cs/0502046: (2005) |
| 2 | EE | Héctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems with and without Fairness Assumptions CoRR abs/cs/0512082: (2005) |
| 2002 | ||
| 1 | EE | Héctor Ruíz Barradas, Didier Bert: Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. IFM 2002: 360-379 |
| 1 | Didier Bert | [1] [2] [3] [4] [5] |