Search the dblp DataBase

Publications of Author

1. 
   An Architecture Description Language for Verification in Component-Based Software. [Citation Graph (, )][DBLP]
   
   
2. 
   From Data to Events: Checking Properties on the Control of a System. [Citation Graph (, )][DBLP]
   
   
3. 
   A Generic Execution Framework for Models of Computation. [Citation Graph (, )][DBLP]
   
   
4. 
   De UML vers les schémas XML. [Citation Graph (, )][DBLP]