title = {Programming and verifying critical systems by means of the synchronous data-flow programming language {\sc Lustre} },
    author = {Ratel, Christophe and Halbwachs, Nicolas and Raymond, Pascal},
    month = {dec},
    year = {1991},
    booktitle = {ACM-SIGSOFT'91 Conference on Software for Critical Systems},
    address = {New Orleans},
    team = {SYNC},

Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1032844