Méthodes formelles pour la vérification des systèmes embarqués
Tallennettuna:
| Aineistotyyppi: | Article de revue numérique |
|---|---|
| Kieli: | Indéterminée |
| Julkaistu: |
Techniques de l'ingénieur
2013.
|
| Linkit: | Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Techniques de l'ingénieur |
| Variante du titre: | Méthodes formelles pour la vérification des systèmes embarqués |