Verimag

bibtex

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

Publication Sections


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

info visites 860520