• Aucun résultat trouvé

18 résultats avec le mot-clé: 'event b refinement'

N National : N National : N National : N National : PREFAMEUX CYBERBURO \LU

Date de la déclaration de renouvellement : 10 MARS 2008 Déclarant : ATELIER DE COUTEAUX REGIONAUX, SARL, ZA ST MEEN N o 17, 22700 ST QUAY PERROS, Siren : 452 538 432 N°

Protected

N/A

5
0
0
2022
Implémentation robuste de lois cohésives non régulières en formulation X-FEM

A partir de ce dernier, nous déterminerons une direction de propagation à partir d'un critère de la littérature, soit déduit du champ local de contraintes

Protected

N/A

9
0
0
2021
Extended Finite Element Method with Global Enrichment

Institute of Structural Analysis and Dynamics of Structures, Department of Civil Engineering, Aristotle University Thessaloniki, Panepistimioupolis Mail Stop 502, 54124

Protected

N/A

2
0
0
2021
CHARLES MICHELS PARIS VOYAGES 14 METATECHNOLOGIES C.BATI SELECTIVALEURS CROISSANCE 56 BULLETIN OFFICIEL DE LA PROPRIETE INDUSTRIELLE BOPI 92/08 NL

Date de la déclaration de renouvellement : 14 DÉCEMBRE 2011 Déclarant : AUTOMOBILES PEUGEOT, Société Anonyme, 75, Avenue de la Grande Armée, 75116 PARIS. N o SIREN : 552

Protected

N/A

6
0
0
2022
Exercice 1. En fonction du param` etre n ∈ N ∗ , donner la borne sup´ erieure et la borne inf´ erieure de l’ensemble D n =

Pour chacune des affirmations suivantes, dire si elle est vraie ou fausse, et le

Protected

N/A

2
0
0
2022
Bonne performance au 1er semestre 2010

L’activité du premier semestre de l’exercice 2010 a été très dynamique, notamment avec l’extension de la Mégamarque Yawmy, qui s’est enrichie de nouvelles

Protected

N/A

1
0
0
2022
Identification of negated regulation events in the literature: exploring the feature space

Although there are no significant differences in the results when lexical or syntactic features are used, semantic features on their own resulted in very low

Protected

N/A

5
0
0
2022
View of When Can a Walk be Considered a Narrative?

This article considers to what extent a long distance walk, and indeed the memory of that walk, may generate a narrative, as investigated by theorists such as Roland Barthes, by

Protected

N/A

9
0
0
2021
Automatic Refinement for Event-B through Annotated Patterns

2) Introduction of the request event: This step adds a new event allowing the pedestrian to ask for the authorization. This event is supposed to be uncontrollable and thus not

Protected

N/A

5
0
0
2021
Automatic Refinement for Event-B through Annotated Patterns

2) Introduction of the request event: This step adds a new event allowing the pedestrian to ask for the authorization. This event is supposed to be uncontrollable and thus not

Protected

N/A

6
0
0
2021
Extremely non-equilibrium oxygen plasma for direct synthesis of metal oxide nanowires on metallic substrates

5.. Weakly ionized highly dissociated oxygen plasma has been successfully applied for synthesis of metal oxide nanowires. The authors showed that the phenomenon depends on

Protected

N/A

38
0
0
2021
COLLECTION PRIVEE D. CORDIER OMBRE D'ARG ENT EASI-M ECHE BOPI 84/46 BULLETIN OFFICIEL DE LA PROPRIETE INDUSTRIELLE 87 SPRITES LOGICIELS

Date de la déclaration de renouvellement : 23 JANVIER 2004 Déclarant : NINTENDO CO., LTD, société de droit japonais, 11-1, Hokotate-cho, Kamitoba, Minami-ku, Kyoto-shi, KYOTO,

Protected

N/A

9
0
0
2022
An Event-B formalization of KAOS goal refinement patterns

The milestone-driven goal refinement pattern [4] refines an Achieve goal by introducing in- termediate milestone states G 1 , ..., G n for reaching a state satisfying the

Protected

N/A

37
0
0
2021
LHPERCHE. N National : N National : TEKIO. BOPI 99/48 NL - VOL. I Publication des demandes d'enregistrement de marques 61

Services en matière de publicité et de promotion et services de conseil s’y rapportant, services de conseil dans le domaine des affaires, tous ces services

Protected

N/A

10
0
0
2022
Linear smoothed extended finite element method

As a last example, the linear smoothing technique is extended to three dimensional domain with a through-the-thickness edge crack subjected to uniform tensile stress as shown in

Protected

N/A

21
0
0
2021
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B

models with discrete state transitions (discrete time jumps), we claim that 1) it is possible to define a refinement relation for continuous models (models with continuous

Protected

N/A

9
0
0
2021
Représentation des nombres

Représentation des nombres Représentation des nombres Utilisation d’une base Représentation sur ordinateur Représentation des nombres entiers.. Nombres fractionnaires Traduction

Protected

N/A

162
0
0
2022

Télécharger plus de documents et télécharger des études de documentation immédiatement !