|
Search the dblp DataBase
Rym Salem:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rym Salem, Khaled Bsaïes
Mechanizing Proofs by Unfolding, Folding and Simplification. [Citation Graph (0, 0)][DBLP] RelMiCS, 1997, pp:133-142 [Conf]
- Paul Caspi, Rym Salem
Threshold and Bounded-Delay Voting in Critical Control Systems. [Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:70-81 [Conf]
- Rym Salem, Khaled Bsaïes
Unfold/Fold Inductive Proof: An Extension of a Folding Technique. [Citation Graph (0, 0)][DBLP] IEA/AIE, 1999, pp:612-621 [Conf]
- Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
Formal Design of Distributed Control Systems with Lustre. [Citation Graph (0, 0)][DBLP] SAFECOMP, 1999, pp:396-409 [Conf]
Search in 0.002secs, Finished in 0.002secs
|