Publié le : 1996-07-05
Classification:
ESTEREL,
Programmation,
[MATH.APPL]Mathematics [math]/domain_math.appl,
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
@article{hal-00504846,
author = {Bouali, Amar and Marmorat, Jean-Paul and De Simone, Robert and Toma, Horia},
title = {Verifying synchronous reactive systems programmed in ESTEREL},
journal = {HAL},
volume = {1996},
number = {0},
year = {1996},
language = {en},
url = {http://dml.mathdoc.fr/item/hal-00504846}
}
Bouali, Amar; Marmorat, Jean-Paul; De Simone, Robert; Toma, Horia. Verifying synchronous reactive systems programmed in ESTEREL. HAL, Tome 1996 (1996) no. 0, . http://gdmltest.u-ga.fr/item/hal-00504846/