title = { Programming and verifying critical systems by means of the synchronous data-flow programming language {\sc Lustre} },
    author = {Halbwachs, Nicolas and Lagnier, Fabienne and Ratel, Christophe},
    month = {sep},
    year = {1992},
    journal = {IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems},
    team = {SYNC},


Sections de Publications

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

info visites 873756