Méthodes formelles pour la vérification des systèmes embarqués
Kaydedildi:
| Materyal Türü: | Article de revue numérique |
|---|---|
| Dil: | Indéterminée |
| Baskı/Yayın Bilgisi: |
Techniques de l'ingénieur
2013.
|
| Online Erişim: | Accès Université d'Orléans Accès INSA CVL |
| Not: |
Techniques de l'ingénieur |
| Variante du titre: | Méthodes formelles pour la vérification des systèmes embarqués |
| LEADER | 01117nam a22001457a 4500 | ||
|---|---|---|---|
| 001 | 1471141 | ||
| 008 | u2032 xxe ||| |||| 00| 0 und d | ||
| 041 | 0 | |a und | |
| 240 | 1 | 0 | |a Méthodes formelles pour la vérification des systèmes embarqués |
| 245 | 0 | 0 | |a Méthodes formelles pour la vérification des systèmes embarqués |c Encrenaz-Tiphene , Emmanuelle. |
| 260 | |b Techniques de l'ingénieur, |c 2013. | ||
| 500 | |a Techniques de l'ingénieur | ||
| 856 | 4 | |u https://ezproxy.univ-orleans.fr/login?url=https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/systemes-embarques-42588210/methodes-formelles-pour-la-verification-des-systemes-embarques-h8250/ |z Accès Université d'Orléans | |
| 856 | 4 | |u https://ezproxy.insa-cvl.fr/login?qurl=https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/systemes-embarques-42588210/methodes-formelles-pour-la-verification-des-systemes-embarques-h8250/ |z Accès INSA CVL | |
| 997 | |0 1471141 |1 Article de revue numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||