FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.i » - entrée « Automatisation »
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.
Automatique < Automatisation < Automobile  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
000366 (2006) Ustun Yildiz [France] ; Olivier Perrin [France] ; Claude Godart [France]On automating networked enterprise management
000385 (2006) Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants
000407 (2006) JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis]Automation for interactive proof : First prototype
000504 (2005) Frédéric Blanqui [France]Decidability of type-checking in the calculus of algebraic constructions with size annotations
000692 (2003) Pavel Afonine [France] ; Vladimir Y. Lunin [France, Russie] ; Alexandre Urzhumtsev [France]MLMF: least-squares approximation of likelihood-based refinement criteria
000964 (2000) O. Kone [France] ; R. CastanetTest generation for interworking systems
000C70 (1996) Y. Song [France] ; F. Simonot-Lion [France] ; N. Navet [France]Validation of distributed real time systems thanks to performance evaluation of their physical architecture
000D28 (1995) J. N. Akazan [France] ; Z. MammeriOn tasks synchronization with the MMS protocol

List of associated Author.i

Nombre de
documents		Descripteur
1Alexandre Urzhumtsev
1Alwen Tiu
1Claire Quigley
1Claude Godart
1F. Simonot-Lion
1Frédéric Blanqui
1J. N. Akazan
1JIA MENG
1Jean-Yves Marion
1Lawrence C. Paulson
1Leonor Prensa Nieto
1N. Navet
1O. Kone
1Olivier Perrin
1Pascal Fontaine
1Pavel Afonine
1R. Castanet
1Stephan Merz
1Ustun Yildiz
1Vladimir Y. Lunin
1Y. Song
1Z. Mammeri

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Automatisation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Automatisation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Automatisation
}}
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