title = {Formal verification of a critical system written in {\sc Saga/Lustre} },
    author = {Lagnier, Fabienne and Raymond, Pascal and Dubois, Christian},
    month = {february},
    year = {1995},
    booktitle = {Workshop on Formal Methods, Modelling and Simulation for System Engineering},
    address = {St Quentin en Yvelines (France)},
    team = {SYNC},

Sections de Publications

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

info visites 1631567