![]() | ![]() |
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] |