|
|
|
|
| LEADER |
01651cam a2200397 4500 |
| 001 |
PPN085632287 |
| 003 |
http://www.sudoc.fr/085632287 |
| 005 |
20240531154500.0 |
| 029 |
|
|
|a FR
|b 2004NANT2099
|
| 035 |
|
|
|a (OCoLC)492251208
|
| 100 |
|
|
|a 20050411d2004 k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|d fre
|d eng
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a y m |||||
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Vérification d'applications temps réel à l'aide de réseaux de Petri temporels étendus
|b Texte imprimé
|f Didier Lime
|g sous la dir. de Yvon Trinquet
|g co-encadrant Olivier H. Roux
|
| 210 |
|
|
|a [S.l.]
|c [s.n.]
|d 2004
|
| 215 |
|
|
|a 148 p.
|d 30 cm
|
| 310 |
|
|
|a Publication autorisée par le jury
|
| 320 |
|
|
|a Bibliogr. p. 139-145
|
| 328 |
|
|
|b Thèse doctorat
|c Automatique et informatique appliquée
|e Nantes
|d 2004
|
| 606 |
|
|
|3 PPN027674401
|a Petri, Réseaux de
|3 PPN027253139
|x Thèses et écrits académiques
|2 rameau
|
| 606 |
|
|
|3 PPN027333930
|a Temps réel (informatique)
|3 PPN027253139
|x Thèses et écrits académiques
|2 rameau
|
| 686 |
|
|
|a 004
|2 TEF
|
| 686 |
|
|
|a 620
|2 TEF
|
| 700 |
|
1 |
|3 PPN08563025X
|a Lime
|b Didier
|f 1977-....
|4 070
|
| 702 |
|
1 |
|3 PPN077231686
|a Trinquet
|b Yvon
|4 727
|
| 702 |
|
1 |
|3 PPN109176294
|a Roux
|b Olivier Henri
|f 19..-....
|c maître de conférences IRCCyN
|4 727
|
| 712 |
0 |
2 |
|3 PPN026403447
|a Université de Nantes
|c 1962-2021
|4 295
|
| 712 |
0 |
2 |
|3 PPN068720513
|a École doctorale sciences et technologies de l'information et des matériaux
|c Nantes
|4 996
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20171204
|g AFNOR
|
| 979 |
|
|
|a ECN
|
| 979 |
|
|
|a SCI
|
| 930 |
|
|
|5 441092104:228005299
|b 441092104
|j u
|
| 930 |
|
|
|5 441092306:230421849
|b 441092306
|a TH 2071
|j u
|
| 998 |
|
|
|a 405845
|
Nantilus
