Nadjet Kamel

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
j2		Nassima Aleb, Zahia Tamen, Nadjet Kamel: Toward a backward model checking. IJCAET 5(1): 20-43 (2013)
	2011
c4		Nassima Aleb, Zahia Tamen, Nadjet Kamel: An Evolutionary Approach for Program Model Checking. MEDI 2011: 186-199
	2009
j1		Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota: Encoding a process algebra using the Event B method. STTT 11(3): 239-253 (2009)
	2008
c3		Nadjet Kamel, Sid-Ahmed Selouani, Habib Hamam: A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces. Software Engineering Research and Practice 2008: 39-45
	2004
c2		Yamine Aït Ameur, Nadjet Kamel: A generic formal specification of fusion of modalities in a multimodal HCI. IFIP Congress Topical Sessions 2004: 415-420
c1		Nadjet Kamel: Utilisation de SMV pour la vérification de propriétés d'IHM multimodales. IHM 2004: 219-222

Coauthor Index

Last update Sat May 25 15:02:14 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page