Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « HalTutelle.i » - entrée « RealTime-at-Work »
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.
Razmadze Mathematical Institute < RealTime-at-Work < Research School of Computer Science [Canberra]  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
000962 (2011-11-29) Marc Boyer ; Jörn Migge ; Nicolas NavetA simple and efficient class of functions to model arrival curve of packetised flows
000F23 (2009-09-22) Dawood Khan ; Nicolas Navet ; Bernard Bavoux ; Jörn MiggeAperiodic traffic in response time analyses with adjustable safety level
001430 (2013-07) Etienne Mabille ; Marc Boyer ; Loic Féjoz ; Stephan MerzCertifying Network Calculus in a Proof Assistant
001C37 (2016-01-27) Laurent Ciarletta ; Loïc Fejoz ; Adrien Guenard ; Nicolas NavetDevelopment of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
001C38 (2016-01-27) Laurent Ciarletta ; Loïc Fejoz ; Adrien Guenard ; Nicolas NavetDevelopment of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
002432 (2010-05) Nicolas Navet ; Aurélien Monot ; Jörn MiggeFrame latency evaluation: when simulation and analysis alone are not enough
003C44 (2015-11-05) Laurent Ciarletta ; Adrien Guenard ; Nicolas Navet ; Loïc FejozPragmatic Incremental Approach to an Affordable Certification Process for RPAS-Building-up from core Safety Functions
004E10 (2013-07-22) Etienne Mabille ; Marc Boyer ; Loic Féjoz ; Stephan MerzTowards Certifying Network Calculus
006181 (2013-03-25) Antoine Rousseau ; Aurélie Darnaud ; Brice Goglin ; Céline Acharian ; Christine Leininger ; Christophe Godin ; Clarisse Holik ; Claude Kirchner ; Diane Rives ; Elodie Darquie ; Erwan Kerrien ; Fabrice Neyret ; Florent Masseglia ; Florian Dufour ; Gérard Berry ; Gilles Dowek ; Hélène Robak ; Hélène Xypas ; Irina Illina ; Isabelle Gnaedig ; Joanna Jongwane ; Jocelyne Ehrel ; Laurent Viennot ; Laure Guion ; Lisette Calderan ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte ; Martin Quinson ; Martine Olivi ; Mathieu Giraud ; Mathilde Dorémus ; Mia Ogouchi ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier ; Nicolas Roussel ; Pascal Guitton ; Pierre Peterlongo ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre ; Sylvie Boldo ; Thierry Viéville ; Véronique Poirel ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane LaurentMédiation Scientifique : une facette de nos métiers de la recherche

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "RealTime-at-Work" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "RealTime-at-Work" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    RealTime-at-Work
}}

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