List of bibliographic references
Number of relevant bibliographic references: 19.
| Ident. | Authors (with country if any) | Title |
|---|
| 000287 (2015-09-26) |
Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France] | Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study |
| 000562 (2015-04-15) |
Jean-René Courtault [France] | Dynamic Resource Logics : Models, Properties and Proofs |
| 000844 (2014-10-08) |
Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France] | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems |
| 001664 (2012-07) |
Laura Martin [France] ; Florence Le Ber [France] ; Julie Wohlfahrt [France] ; Géraldine Bocquého [France] ; Marc Benoît [France] | Modelling farmers' choice of miscanthus allocation in farmland: a case-based reasoning model |
| 002496 (2010-06-16) |
Nazim Benaissa [France] ; Dominique Méry [France] | Proof-Based Design of Security Protocols |
| 002548 (2010-05-28) |
Nazim Benaissa [France] | Security protocols composition using Event B |
| 002697 (2010-02-01) |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Formal Development of Two-Electrode Cardiac Pacing System |
| 002A81 (2009-09) |
Dominique Méry [France] | Refinement-Based Guidelines for Algorithmic Systems |
| 003C25 (2007) |
Julien Siebert [France] | Impact du comportement des utilisateurs dans les réseaux pair-à pair, modélisation et simulation multi-agents |
| 004404 (2006) |
Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France] | BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103 |
| 005583 (2002-11) |
Frédéric Blaise [France] ; Laurent Saint-André [France] ; Jean-Michel Leban ; Jean-Claude Gégout [France] ; Jean-Christophe Hervé [France] | Connection between forest inventory data and geographic information systems for assessing timber value at the stand level |
| 005752 (2002) |
Paolo Castelpietra [France] ; Françoise Simonot-Lion [France] ; Olivier Perrin [France] | Objects - Models - Meta models in EAST Project |
| 005867 (2002) |
Orazio Gurrieri [France] ; Paolo Castelpietra [France] ; Olivier Barriere [France] | Using EAST-ADL with GME 2000 |
| 005A45 (2002) |
Paolo Castelpietra [France] ; Ye-Qiong Song [France] ; Françoise Simonot-Lion [France] ; Mondher Attia [France] | Analysis and simulation methods for performance evaluation of a multiple networked embedded architecture |
| 005A50 (2002) |
Françoise Simonot-Lion [France] ; Jean-Pierre Elloy [France] | An Architecture Description Language for In-Vehicle Embedded System Development |
| 005A57 (2002) |
Paolo Castelpietra [France] ; Jörn Migge [France] ; Evelyne Silva [France] | AIL, AIML and XML in the AEE Project |
| 005C49 (2001) |
Jean-Pierre Elloy [France] ; Françoise Simonot-Lion [France] ; Yvon Trinquet [France] | Le projet AEE et la description UML des architectures embarquées pour l'automobile. |
| 005C65 (2001) |
Airy Weinzoepflen [France] | Développement Incrémental Prouvé de Systèmes |
| 005E78 (2001) |
Jean-Pierre Elloy [France] ; Françoise Simonot-Lion [France] | An Architecture Description Language For In-Vehicle Embedded System Development |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i -k "modelling"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/KwdEn.i \
-Sk "modelling" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Checkpoint
|type= indexItem
|index= KwdEn.i
|clé= modelling
}}
| This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 |  |
