Titre (en)
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Titre (en) » - entrée « construction »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
constructing < construction < constructiongeneration  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 59.
[0-20] [0 - 20][0 - 50][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
000161 (2005) Jean-Raymond Abrial ; Dominique Cansell [France]Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
000402 (2005) Claire Gardent ; Yannick ParmentierLarge scale semantic construction for Tree Adjoining Grammars
000421 (2005) Vincent ThomasProposition d'un formalisme pour la construction automatique d'interactions dans les systèmes multi-agents réactifs
000422 (2005) Françoise Simonot-LionPerformance and safety construction and evaluation for in-car embedded systems
000455 (2005) Vincent Thomas ; Christine Bourjot ; Vincent ChevrierUn formalisme pour la construction automatique d'interactions dans les SMA réactifs
000503 (2005) Emmanuel Nauer ; Alexandre Richard ; Sébastien Derriere ; Françoise Genova ; Amedeo Napoli ; Yannick ToussaintConstruction d'une ontologie de descripteurs UCD en astronomie
000520 (2005) Florence Le Ber ; Sylvie Lardon ; Christian Brassac ; Michel Mainguenaud ; Jean-Michel PréauConstruction collaborative d'objets géo-graphiques
000777 (2004) Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre JacquotOpérations de construction de spécification multi-vues UML et B
000840 (2004) Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre JacquotConcepts importants à la construction de spécifications multi-vues UML et B
000A40 (2003) Didier Galmiche ; Jean-Marc NotinConnection-based proof construction in Non-Commutative Logic
000A60