Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Yvon Trinquet »
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.
Yvon Jegou < Yvon Trinquet < Yvonne Barnard  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000067 (2005) Françoise Simonot-Lion ; Yvon TrinquetExemples de systèmes temps réel et choix d'implémentation
000738 (2004) Vincent Debruyne ; Françoise Simonot-Lion ; Yvon TrinquetEAST-ADL - An Architecture Description Language - Validation and Verification Aspects
000739 (2004) Vincent Debruyne ; Françoise Simonot-Lion ; Yvon TrinquetEAST-ADL - An Architecture Description Language - Validation and Verification Aspects
000D02 (2003) Joachim Eisenmann ; Evelyne Sylva ; Gerrit De Boer ; Ulrich Virnich ; Andreas Raisch ; Eric Andrianarison ; Nicolas Navet ; Yvon Trinquet ; Franz AdisDescription of existing solutions - Deliverable 2.2
000E18 (2002) Jörn Migge ; Françoise Simonot-Lion ; Jean-Pierre Elloy ; Yvon TrinquetAIL_Transport, User Manual V3
000F19 (2002) Françoise Simonot-Lion ; Jean-Pierre Elloy ; Yvon TrinquetAIL_Transport : Un langage de description d'architecture électronique embarquée dans l'automobile
001419 (2001) Jean-Pierre Elloy ; Françoise Simonot-Lion ; Yvon TrinquetLe projet AEE et la description UML des architectures embarquées pour l'automobile.
001D26 (1999) Françoise Simonot-Lion ; Laurent Thomas ; Thomas Lambolais ; Anne-Marie Deplanche ; Yvon Trinquet ; Charles Andre ; Marie-Agnes Peraldi ; Chris Choukair ; Mireille BayartConception et validation d'architectures distribuées temps réel
001D72 (1999) Françoise Simonot-Lion ; Jorn Migge ; Jean-Louis Boucheron ; Philippe Lemaire ; Samuel Boutin ; Attia Mondher ; Patrick Palmieri ; Yvon Trinquet ; Thierry Gautier ; Jean-Pierre Elloy ; Franck Gasnierrapport intermédiaire - contrat AEE
002107 (1998) Charles André ; Mireille Bayart ; Anne-Marie Déplanche ; Jean Jourdan ; Marie-Agnès Péraldi ; Françoise Simonot-Lion ; Laurent Thomas ; Joël Toussaint ; Yvon TrinquetConstruction et Validation d'Architectures Distribuées Temps Réel (Consortium COVADIS)
002513 (1997) Laurent Thomas ; Juliette Mattioli ; Bertrand Jeannet ; Jean Jourdan ; Françoise Simonot-Lion ; Laurent Kaiser ; Joël Toussaint ; Mireille Bayart ; Chris Choukair ; Marie-Agnes Peraldi ; Charles André ; Anne-Marie Deplanche ; Yvon TrinquetConstruction et Validation d'Architectures DIStribuées temps réel Rapport intermédiaire de contrat No96448 DRET-DGA et No96C0076 DGRT-MENESR
002548 (1997) Charles André ; Mireille Bayart ; Chris Choukair ; Anne-Marie Déplanche ; Jean Jourdan ; Marie-Agnès Péraldi ; Françoise Simonot-Lion ; Laurent Thomas ; Yvon TrinquetConstruction et Validation d'Architectures Distribuées Temps-réel. Rapport intermédiaire.

List of associated KwdEn.i

Nombre de
documents		Descripteur
5verification
4validation
3embedded systems
2adl
2architecture description language
2components
2distribution
2real-time systems
2requirements
1Architecture Description Langage
1Distributed real-time architecture
1UML
1Validation
1Verification
1approche asynchrone
1approche synchrone
1architecture
1architectures
1conception
1concurrent engineering
1design
1distributed applications
1electronic embedded system
1exécutif temps réel
1functionnal architecture
1implantation d'une application
1in-vehicule applications
1logic properties
1middleware
1modelling
1operational architecture
1osek.
1physical architecture
1real time proprieties
1reusability
1safety working
1systèmes temps réel
1time properties
1timed automata

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Yvon Trinquet" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Yvon Trinquet" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Yvon Trinquet
}}
Wicri

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