Verimag

bibtex

@article{MHR+13,
    title = {Specification and Validation of Embedded Systems: A Case Study of a Fault-Tolerant Data Acquisition System with Lustre Programming environment },
    author = {Maraninchi, Florence and Halbwachs, Nicolas and Raymond, Pascal and Parent, Catherine and Shyamasundar, R. K.},
    month = {sep},
    year = {2013},
    journal = {CSI Journal of Computing},
    number = {4},
    publisher = {The computer Society of India},
    volume = {1},
    team = {SYNC},
}

Publication Sections


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

info visites 916142