Search the dblp DataBase

Publications of Author

1. F. Belala, Mohamed Bettaz
   A Natural Semantic Framework for ECATNets. [Citation Graph (0, 0)][DBLP]
   Applied Categorical Structures, 2002, v:10, n:5, pp:431-447 [Journal]
   
2. 
   Towards a mobile architecture description language. [Citation Graph (, )][DBLP]
   
   
3. 
   A Contribution to the Formal Checking of Multi-Agents Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   On Formalizing UML 2.0 Activities: Stream and Exception Parameters. [Citation Graph (, )][DBLP]
   
   
5. 
   Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. [Citation Graph (, )][DBLP]
   
   
6. 
   On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. [Citation Graph (, )][DBLP]
   
   
7. 
   Tile logic as an architectural model for mobility. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards a tile based LfP semantics. [Citation Graph (, )][DBLP]
   
   
9. 
   AADL behavioral annex based on generalized rewriting logic. [Citation Graph (, )][DBLP]