Verimag

bibtex

@inproceedings{Sif10d,
    title = {Embedded Systems Design - Scientific Challenges and Work Directions },
    author = {Sifakis, Joseph},
    year = {2010},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2},
    pages = {1},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {6015},
    team = {DCS, RSD},
}

Publication Sections


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

info visites 704176