Some issues in using formal methods for the development of reactive systems.
Argón, Pablo ; Roux, Olivier
Electronic Journal of SADIO [electronic only], Tome 1 (1998), p. 52-75 / Harvested from The Electronic Library of Mathematics
Access to full text
Full (PS)
Publié le : 1998-01-01
EUDML-ID : urn:eudml:doc:227566 
@article{01264491,
     title = {Some issues in using formal methods for the development of reactive systems.},
     journal = {Electronic Journal of SADIO [electronic only]},
     volume = {1},
     year = {1998},
     pages = {52-75},
     zbl = {0915.68022},
     language = {en},
     url = {http://dml.mathdoc.fr/item/01264491}
}

Argón, Pablo; Roux, Olivier. Some issues in using formal methods for the development of reactive systems.. Electronic Journal of SADIO [electronic only], Tome 1 (1998) pp. 52-75. http://gdmltest.u-ga.fr/item/01264491/