bibtex

@inproceedings{RHR91,
    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},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3899548