Verification de surete et atteignabilite des systemes hybrides. Etat de l'art
| Year of publication: |
2007
|
|---|---|
| Authors: | Nasri, O. ; Lefebvre, M.-A. ; Gueguen, H. ; Zaytoon, J. |
| Published in: |
Journal européen des systèmes automatisés : JESA. - Paris : Lavoisier, ISSN 0296-1598, ZDB-ID 13167728. - Vol. 41.2007, 7/8, p. 855-884
|
| Type of publication: | Article |
|---|---|
| Notes: | (c) British Library |
| Source: |
Persistent link: https://www.econbiz.de/10007916569