Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « safe »
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.
sae < safe < safely  Facettes :

List of bibliographic references indexed by safe

Number of relevant bibliographic references: 44.
[0-20] [0 - 20][0 - 44][20-40]
Ident.Authors (with country if any)Title
000077 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000078 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000432 (2015-07-26) Didier Fass [France]Affordances and Safe Design of Assistance Wearable Virtual Environment of Gesture
000B06 (2014-06-12) Martin Barrere [France]Vulnerability Management for Safe Configurations in Autonomic Networks and Systems
000B43 (2014-05-27) Laurent Ciarletta [France] ; Adrien Guenard [France] ; Yannick Presse [France] ; Virginie Galtier [France] ; Ye-Qiong Song [France] ; Jean-Christophe Ponsart [France] ; Samir Aberkane [France] ; Didier Theilliol [France]Simulation and platform tools to develop safe flock of UAVs: a CPS application-driven research
000F16 (2013-12-02) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]JeB: Safe Simulation of Event-B Models in JavaScript
002A80 (2010-09-10) Nicole El Zoghby [France]Reinforcement Learning for Safe Longitudinal Platoons
002B06 (2010-08-30) Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Safe and Efficient Strategies for Updating Firewall Policies
003029 (2010) Thi Mai Thuong Tran [Norvège] ; Martin Steffen [Norvège]Safe Commits for Transactional Featherweight Java
003345 (2009-11) Guillaume Bonfante [France] ; Florian Deloup [France] ; Antoine Henrot [France]Polynomials over the reals are safe for program interpretations
003605 (2009-05-12) Alexis Scheuer [France] ; Olivier Simonin [France] ; François Charpillet [France]Safe longitudinal platoons of vehicles without communication
003798 (2009) Lori Ashcraft [États-Unis] ; William A. Anthony ; Ed Knight ; Peter AshendenInsisting on the truth: empower staff to feel safe to share their recovery stories.
003C44 (2009) Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Safe and Efficient Strategies for Updating Firewall Policies
003E53 (2008-09-08) Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France]From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
004081 (2008-03) Françoise Simonot-Lion [France]Interoperability issues on the design of safe in-vehicle embedded systems
004333 (2008) Delia KesnerPerpetuality for Full and Safe Composition (in a Constructive Setting)
004527 (2008) Alexis Scheuer [France] ; Olivier Simonin [France] ; François Charpillet [France]Safe Longitudinal Platoons of Vehicles without Communication
004809 (2007-07-10) Colin Riba [France]Strong Normalization as Safe Interaction
004835 (2007-07) Françoise Simonot-Lion [France]The design of safe automotive embedded systems - Some problems, solutions and open issues
004F76 (2006-10-18) Françoise Simonot-Lion [France]The design of safe automotive electronic systems: some problems, solutions and open issues
005047 (2006-08-01) Frédéric Beck [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]A Monitoring Approach for Safe IPv6 Renumbering

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "safe" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "safe" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    safe
}}
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