Search the dblp DataBase
Philippe Dhaussy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Joël Champeau, Philippe Dhaussy, Laurent Latreille, Fabien Degroote
Object Framework for Mission Control. [Citation Graph (0, 0)][DBLP]
ISAS-SCI (1), 2001, pp:100-105 [Conf] - Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux
Extending the Translation from SDL to Promela. [Citation Graph (0, 0)][DBLP]
SPIN, 2002, pp:79-94 [Conf]
Un langage de contexte de preuve pour la validation formelle de modèles logiciels. [Citation Graph (, )][DBLP]
Vers la génération de modèles de sûreté de fonctionnement. [Citation Graph (, )][DBLP]
AADL Execution Semantics Transformation for Formal Verification. [Citation Graph (, )][DBLP]
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. [Citation Graph (, )][DBLP]
Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002