bibtex

@article{MC09,
    title = {Flush: an example of development by refinements in SCADE/Lustre },
    author = {Mik{\'a}c, Jan and Caspi, Paul},
    year = {2009},
    journal = {International Journal on Software Tools for Technology Transfer (STTT)},
    number = {5},
    volume = {11},
    team = {SYNC},
}


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

info visites 4190122