|
Search the dblp DataBase
Tarek Sadani:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:404-419 [Conf]
- Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Mapping RT-LOTOS Specifications into Time Petri Nets. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:360-379 [Conf]
- Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:250-260 [Conf]
Search in 0.001secs, Finished in 0.001secs
|