|
 
|
Hacène Sebih
|
Equipe SYS Parti depuis le 01/09/2017 Mail : sebih  yahoo.fr
Tel : 0140272852 Fax : 0140272709 http://cedric.cnam.fr/~sebih |
Hacène's Tag-Cloud : |
Publications
2005
- [SB05] H. Sebih, K. Barkaoui. "A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL", PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, January 2005, pp.1255-1263,
Conférence Internationale avec comité de lecture
2003
-
[SBB03]
H. Sebih, K. Barkaoui, M. Bettaz, F. Belala, Z. Sahnoun.
"Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets",
1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,,
January 2003,
- [SBa03] H. Sebih, K. Barkaoui. "Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets", Premier congrès francophone MAJECSTIC'03, Marseille, January 2003,
