bibtex

@article{MHR+3,
    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, Rudrapatna K.},
    month = {sep},
    year = {2013},
    journal = {CSI Journal of Computing},
    number = {4},
    publisher = {The computer Society of India},
    volume = {1},
    team = {SYNC},
}


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

info visites 4193314