Showing
1 - 2
results of
2
for search '
Hains Gaétan
'
Skip to content
Toggle navigation
Nantilus
La BU
0
items
(Full)
Log Out
Login
FR
|
EN
All Fields
Title
Journal Title
Author
Subject
ISBN/ISSN
Publisher
Series
Dissertation note
Author
Hains Gaétan
Showing
1 - 2
results of
2
for search '
Hains Gaétan
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
Select result number 1
1
Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
by
Hains
Gaétan
Ellipses C 2018
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 2
2
AUTOSAR compliant multi-core RTOS formal modeling and verification
by
Haur Imane
,
Roux Olivier Henri
,
Béchennec Jean-Luc
,
Grolleau Emmanuel
Martineau Patrick
Hains
Gaétan
2022
Call Number:
Loading...
Located:
Loading...
Get full text
Thesis
Online
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Do you search an article ?
Check
our how-to
to find it.
Nothing found ?
Search
in other universities (SUDOC)
, ask for
an interlibrary loan
or submit
a purchase request
.
Related Subjects
algorithmes parallèles
exécution multi-coeurs
manuels d'enseignement supérieur
model-checking
objective caml (langage de programmation)
parallélisme (informatique)
petri, réseaux de
programmation parallèle (informatique)
réseaux de petri colorés de haut niveau
systèmes d exploitation temps réel
systèmes d'exploitation (ordinateurs)
temps réel (informatique)
thèses et écrits académiques
vérification d os autosar
vérification de modèles (informatique)
vérification formelle
×
Loading...