Fathi Taibi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

3 Fathi Taibi, Jacob K. Daniel, Fouad Mohammed Abbou: On checking the consistency of Object-Z classes. ACM SIGSOFT Software Engineering Notes 32(4): (2007)

2 Fathi Taibi, Toufik Taibi: A Service-Level Security Protocol for Bluetooth Scatternets. Int. Arab J. Inf. Technol. 4(1): 60-66 (2007)

2006

1 Toufik Taibi, Fathi Taibi: Formal Specification of Design Patterns and Their Instances. AICCSA 2006: 33-36

	2007
3		Fathi Taibi, Jacob K. Daniel, Fouad Mohammed Abbou: On checking the consistency of Object-Z classes. ACM SIGSOFT Software Engineering Notes 32(4): (2007)
2		Fathi Taibi, Toufik Taibi: A Service-Level Security Protocol for Bluetooth Scatternets. Int. Arab J. Inf. Technol. 4(1): 60-66 (2007)
	2006
1		Toufik Taibi, Fathi Taibi: Formal Specification of Design Patterns and Their Instances. AICCSA 2006: 33-36

Coauthor Index