|
|
|
|
| LEADER |
01472nam a2200361 4500 |
| 001 |
PPN072544074 |
| 005 |
20031222115000.0 |
| 009 |
DYNIX_BUNAN_219103 |
| 100 |
|
|
|a 19960130d1995 u0frey0103 ba
|
| 101 |
0 |
|
|a fre
|d eng
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a m m
|
| 200 |
1 |
|
|a Vérification temporelle de programmes ELECTRE
|
| 210 |
|
|
|d 1995
|
| 215 |
|
|
|a 120 p
|c ill.
|d 30 cm
|
| 300 |
|
|
|a ECN
|
| 320 |
|
|
|a 58 réf. bibl.
|
| 328 |
|
|
|a Th. : Sci. : Nantes : 1995 ; 2101
|
| 512 |
|
|
|a E.D. Sciences pour l'ingénieur, Automatique et Informatique appliquée
|
| 610 |
2 |
|
|a Vérification temporelle (automatique)
|
| 610 |
2 |
|
|a Programmes ELECTRE (Exécutif et Langage de Contrôle Temps-Réel REparti), traduction en automates hybrides
|
| 610 |
2 |
|
|a Automates hybrides fortement-non-Zenon
|
| 610 |
2 |
|
|a Logique temporelle (informatique appliquée)
|
| 610 |
2 |
|
|a Décidabilité
|
| 700 |
|
1 |
|a Rusu
|b Vlad
|
| 801 |
|
|
|a FR
|b DYNIX_BUNAN
|c 19960926
|g AFNOR
|
| 979 |
|
|
|a ECN
|
| 979 |
|
|
|a SCI
|
| 993 |
|
|
|a 1142024158
|b ECN
|c TH 1586 bis
|d ECN1
|e ECN1
|f I
|g 13-03-1997
|h 26-11-1999
|s TH 1586 bis
|t ECN1
|u ECN1
|v i
|
| 993 |
|
|
|a -361549
|b ECN
|c TH 1586
|d EX
|e ECN3X
|f I
|g 13-03-1997
|h 26-11-1999
|s TH 1586
|t EX
|u ECN3X
|v i
|
| 993 |
|
|
|a 1160628259
|b SCI
|c 95 NANT 2101
|d EM
|e THE12
|f I
|g 30-01-1996
|h 30-01-1996
|i 15-07-2003
|o 02-02-1999
|p 1
|s 95 NANT 2101
|t EM
|u SCTH12
|v i
|
| 993 |
|
|
|a 1160628266
|b SCI
|c 95 NANT 2101
|d EX
|e THEMAG
|f I
|g 30-01-1996
|h 17-05-1996
|s 95 NANT 2101
|t EX
|u SCTHMAG
|v i
|
| 998 |
|
|
|a 174647
|
Nantilus