Un Assistant Méthodologique UML. Modélisation Et Vérification Formelle De Protocoles Guidées Par Des Patrons

Techniques et sciences informatiques
doi 10.3166/tsi.30.309-337
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Lavoisier

Related search

Extraction Des Proprietes Mecaniques Locales D’un Elastomere Par Nanoindentation : Developpement Des Protocoles Et Application

Materiaux et Techniques
Materials Science
2017English

Excitation Et Détection Par Des Transducteurs Interdigités Des Ondes Transversales Horizontales Guidées Dans Une Plaque De Quartz

Le Journal de Physique Colloques
1990English

Linguistique Et Sociologie, Un Point De Vue Méthodologique

Articles
2002English

Cartographie Des Températures À Tunis Par Modélisation Statistique Et Télédétection

Mappemonde
EarthPlanetary Sciences
2018English

Modélisation Des Turbidités en Bretagne Sud Et Validation Par Des Mesures in Situ

European Journal of Environmental and Civil Engineering
CivilEnvironmental EngineeringStructural Engineering
2008English

Lois De Comportement Et Modélisation Des Impacts

Le Journal de Physique IV
1991English

Génétique Formelle, Lutte Génétique Et Structures Des Populations De Moustiques

Annales de Parasitologie Humaine et Comparée
1971English

Mise en Œuvre Des Patrons De Conception Par Représentation Explicite Du Problème

L'objet
2005English

Conflits Hydrauliques Et Guerres De l'Eau : Un Essai De Modélisation

Revue Internationale et Strategique
International RelationsPolitical Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy