Showing
1 - 4
results of
4
for search '
Martineau Patrick
'
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
Martineau Patrick
Showing
1 - 4
results of
4
for search '
Martineau Patrick
'
, query time: 0.02s
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
ORDONNANCEMENT EN-LIGNE DANS LES SYSTEMES INFORMATIQUES TEMPS REEL
by
Martineau
Patrick
[s.n.] 1994
Call Number:
Loading...
Located:
Loading...
Thesis
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 2
2
Anatomie macroscopique et microscopique de l'articulation temporo-mandibulaire.
by
Martineau
Patrick
[s.n.] 1973
Call Number:
Loading...
Located:
Loading...
Thesis
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 3
3
AUTOSAR compliant multi-core RTOS formal modeling and verification
by
Haur Imane
,
Roux Olivier Henri professeur des universités IRCCyN
,
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 result number 4
4
Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement
by
Comlan Maurice
,
Roux Olivier Henri professeur des universités IRCCyN
,
Vianou Antoine
,
Attiogbé Christian
,
Martineau
Patrick
,
Niel Eric
,
Frizon de Lamotte Florent
,
Lahaye Sébastien
Delfieu David
2016
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
petri, réseaux de
thèses et écrits académiques
algèbre de processus
arcs de reset
articulation temporo-mandibulaire, anatomie
distributed system/computer system/scheduling/real time/modeling/constraint/adaptive algorithm/mutual exclusion/migration/overload
dépliage
exécution multi-coeurs
informatique
model-checking
réseaux de petri colorés de haut niveau
sciences appliquees : informatique, automatique theorique, systemes
systeme reparti/systeme informatique/ordonnancement/temps reel/modelisation/contrainte/algorithme adaptatif/exclusion mutuelle/migration/surcharge/contrainte temps
systèmes d exploitation temps réel
systèmes d'exploitation (ordinateurs)
temps réel (informatique)
vérification d os autosar
vérification de modèles (informatique)
vérification formelle
×
Loading...