Françoise Grandjean < Françoise Simonot-Lion < Freddy Deppner

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 101.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000F46 (1992)	Françoise Simonot-Lion ; Y. Q. Song ; J.-P. Thomesse ; C. Cardeira ; G. Bianchi	L'impact des réseaux locaux dans les systèmes automatisés de production : une expérience d'enseignement`
001986 (1995)	Jean-François Aubry ; Françoise Simonot-Lion	La prise en compte de la sûreté de fonctionnement dans le développement d'un système
001B88 (1996)	Françoise Simonot-Lion ; Jean-François Aubry	Conception coordonnée de systèmes industriels sûrs et de qualité
001C73 (1996)	Françoise Simonot-Lion ; Mireille Bayart	Le processus de développement des systèmes automatisés distribués : analyse de l'étape de conception
001C75 (1996)	Françoise Simonot-Lion	Temps réel et temps critique dans les architectures de systèmes automatisés
001C80 (1996)	Yequiong Song ; Françoise Simonot-Lion ; Nicolas Navet	Validation of Distributed Real Time Systems thanks to Performance Evaluation of their Physical Architecture
001C96 (1996)	Joël Toussaint ; Luis Vega ; Françoise Simonot-Lion	Formal verification of Time constrained communications
001E63 (1997)	Françoise Simonot-Lion	Les architectures de systèmes automatisés
001E64 (1997)	Françoise Simonot-Lion ; Ye-Qiong Song ; Jacques Raymond	Validating real-time applications distributed over CAN : an interoperability verification
001E65 (1997)	Françoise Simonot-Lion	Construction et validation d'architectures opérationnelles Temps Réel
001E69 (1997)	Ye-Qiong Song ; Françoise Simonot-Lion ; Pierre Bélissent	Validation des applications temps réel distribuées autour du réseau CAN à l'aide de l'évaluation de performances
001E71 (1997)	Ye-Qiong Song ; Françoise Simonot-Lion ; Pierre Bélissent	VACANS - A Tool for the Validation of CAN-based Applications
001E74 (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 Trinquet	Construction et Validation d'Architectures DIStribuées temps réel Rapport intermédiaire de contrat No96448 DRET-DGA et No96C0076 DGRT-MENESR
001E80 (1997)	Joël Toussaint ; Françoise Simonot-Lion	Vérification formelle de propriétés temporelles d'une application distribuée temps réel
001E82 (1997)	Joël Toussaint ; Christophe Philippe ; Françoise Simonot-Lion	A Model of CAN-based Applications for the Verification of Temporal Properties
001E83 (1997)	Joël Toussaint ; Françoise Simonot-Lion ; Jean-Pierre Thomesse	Time Constraints Verification Methods Based on Time Petri Nets
001F24 (1997)	Françoise Simonot-Lion ; Ye-Qiong Song	Real-Time Communications using TDMA-Based Multi-Access Protocol
001F63 (1997)	A. Laurent ; Jean-François Aubry ; J. P. Corriou ; Françoise Simonot-Lion	Projet Fédérateur de recherche "Sûreté Industrielle des Systèmes". Rapport d'activité 1997
001F84 (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 Trinquet	Construction et Validation d'Architectures Distribuées Temps-réel. Rapport intermédiaire.
001F85 (1997)	Françoise Simonot-Lion	Temps réel et temps critique dans les architectures de systèmes automatisés
002205 (1998)	Jean-François Aubry ; Françoise Simonot-Lion	Industrial dependability of systems : a coordinated approach

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/Author.i -k "Françoise Simonot-Lion" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/Author.i  \
                -Sk "Françoise Simonot-Lion" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Françoise Simonot-Lion
}}

---

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