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},
}


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

info visites 4192052