bibtex

@inproceedings{MSB+6,
    title = {Architecture-Based Design: {A} Satellite On-Board Software Case Study },
    author = {Mavridou, Anastasia and Stachtiari, Emmanouela and Bliudze, Simon and Ivanov, Anton and Katsaros, Panagiotis and Sifakis, Joseph},
    year = {2016},
    booktitle = {Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besan{\c{c}}on, France, October 19-21, 2016, Revised Selected Papers},
    pages = {260--279},
    series = {Lecture Notes in Computer Science},
    volume = {10231},
    team = {RSD},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190084