Modélisation et vérification des systèmes hybrides à l'aide du TTM/RTTL
| Alternative title: | Modelling and verification of hybrid systems using the TTM/RTTL framework |
|---|---|
| Year of publication: |
1996
|
| Authors: | Zaytoon, Janan ; de Loor, Pierre ; Goadel, Clément ; Villermain-Lecolier, Gérard |
| Published in: |
Journal européen des systèmes automatisés : JESA. - Paris : Lavoisier, ISSN 0296-1598, ZDB-ID 13167728. - Vol. 30.1996, 4, p. 491-518
|