Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Noura Boudiaf

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijseke/BoudiafMB08
- ask others
Noura Boudiaf, Farid Mokhati, Mourad Badri: Supporting Formal Verification of DIMA Multi-Agents Models: towards a Framework Based on Maude Model Checking. International Journal of Software Engineering and Knowledge Engineering 18(7): 853-875 (2008)
2007
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jot/MokhatiBBB07
- ask others
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri: Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. Journal of Object Technology 6(4): 77-102 (2007)
2006
[j1]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jcmse/MokhatiBBB06
- ask others
Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri: Generating Maude formal specifications from AUML diagrams. J. Comput. Meth. in Science and Engineering 6(5-6): 73-89 (2006)
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/synasc/HicheurBB06
- ask others
Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf: Modeling Workflows with Recursive ECATNets. SYNASC 2006: 389-398
2004
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/prima/BoudiafMBB04
- ask others
Noura Boudiaf, Farid Mokhati, Mourad Badri, Linda Badri: Specifying DIMA Multi-agents Models Using Maude. PRIMA 2004: 29-42

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?