|
Search the dblp DataBase
Héctor Ruíz Barradas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Héctor Ruíz Barradas, Didier Bert
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. [Citation Graph (0, 0)][DBLP] IFM, 2002, pp:360-379 [Conf]
- Héctor Ruíz Barradas, Didier Bert
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. [Citation Graph (0, 0)][DBLP] IFM, 2005, pp:327-346 [Conf]
- Héctor Ruíz Barradas, Didier Bert
Proof obligations for specification and refinement of liveness properties under weak fairness [Citation Graph (0, 0)][DBLP] CoRR, 2005, v:0, n:, pp:- [Journal]
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|