Accéder directement au contenu Accéder directement à la navigation


...
hal-00471931v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
...
tel-00728431v1  Thèse
Amine Raji. Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués
Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français
hal-00635904v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
...
hal-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩