Résultat(s)
1 - 6
résultats de
6
pour la requête '
Béchennec Jean-Luc
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Béchennec Jean-Luc
Résultat(s)
1 - 6
résultats de
6
pour la requête '
Béchennec Jean-Luc
'
, Temps de recherche: 0,05s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Validation par simulation fine d'une architecture opérationnelle
par
Briday Mikaël
,
Trinquet Yvon
,
Béchennec
Jean
-
Luc
[s.n.] 2004
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Thèse ou mémoire
Chargement en cours...
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 2
2
Langage de description d'architecture matérielle pour les systèmes temps réel
par
Kassem Rola
,
Béchennec
Jean
-
Luc
,
Trinquet Yvon
,
Briday Mikaël
[s.n.] 2010
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Accès en ligne
Thèse ou mémoire
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 3
3
Langage de description d'architecture matérielle pour les systèmes temps réel
par
Kassem Rola
,
Béchennec
Jean
-
Luc
,
Trinquet Yvon
,
Briday Mikaël
2010
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Thèse ou mémoire
Chargement en cours...
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 4
4
AUTOSAR compliant multi-core RTOS formal modeling and verification
par
Haur Imane
,
Roux Olivier-Henri
,
Béchennec
Jean
-
Luc
,
Grolleau Emmanuel
Martineau Patrick
Hains Gaétan
2022
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Accès en ligne
Thèse ou mémoire
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 5
5
Méthode de génération d'exécutif temps-réel
par
Tigori Kabland Toussaint Gautier
,
Roux Olivier-Henri
,
Béchennec
Jean
-
Luc
,
Muller Gilles
,
Pagetti Claire
Grolleau Emmanuel
Marchand Hervé
2016
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Accès en ligne
Thèse ou mémoire
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 6
6
Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée
par
Boukir Khaoula
,
Béchennec
Jean
-
Luc
,
Deplanche Anne-Marie
,
Puaut Isabelle
,
Roux Olivier-Henri
,
Richard Pascal
,
Hladik Pierre-Emmanuel
2020
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Accès en ligne
Thèse ou mémoire
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
–
Enregistrer la recherche
Vous cherchez un article par son titre ?
Consultez notre
mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien
.
Vous n'avez pas trouvé ?
Recherchez
dans d'autres universités (SUDOC)
, faites
une demande de Prêt entre bibliothèques (PEB)
ou faites
une suggestion d'achat
.
Sujets similaires
temps réel (informatique)
thèses et écrits académiques
vérification de modèles (informatique)
langage de description d'architecture matérielle (adl)
processeur
simulateur de jeu d'instructions (iss)
simulateur précis au cycle près (cas)
simulation par ordinateur logiciels
vérification formelle
--
analyse temporelle
can (réseau d'ordinateurs)
code source (informatique)
exécution multi-coeurs
model-checking
modèles à états finis
méthodes formelles
ordonnancement (informatique)
petri, réseaux de
réseaux de petri colorés de haut niveau
systèmes d exploitation temps réel
systèmes d exploitation temps-réel
systèmes d'exploitation (ordinateurs)
systèmes embarqués
systèmes embarqués (informatique)
traitement réparti
vérification d os autosar
×
Chargement en cours...