|
 
|
Mohamed Bettaz
Publications
2005
- [ZBB05] N. Zeghib, M. Bettaz, K. Barkaoui. "CIRTA: An ECATNets Based Model for Embedded Systems Specification.", ESA'05, Int. Conf. on Embedded Systems and Applications, Las Vegas, Nevada, USA, January 2005, pp.261-267,
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,
Conférence Internationale avec comité de lecture
1999
- [CBM99] A. Chaoui, M. Bettaz, M Maouche, K. Barkaoui. "Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE", MOSIM'99, SCS International, January 1999, pp.131-136,
- [BMB99] M. Bettaz, M Maouche, K. Barkaoui. "De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets", MOSIM'99, SCS International, January 1999, pp.125-130,
Conférence Internationale avec comité de lecture
1996
- [BBC96] K. Barkaoui, M. Bettaz, A. Chaoui. "On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency", Journal of Computing and Information, vol. 2(1), pp. 470-481, 1996
- [BMB96] M. Bettaz, M Maouche, K. Barkaoui. "Formal Specification of Communication Protocols with Object-Based ECATNets", 22nd EUROMICRO Conference, January 1996, pp.492 - 499,
