bibtex

@inproceedings{LSK+15,
    title = { Using {BIP} to reinforce correctness of resource-constrained IoT applications },
    author = {Lekidis, Alexios and Stachtiari, Emmanouela and Katsaros, Panagiotis and Bozga, Marius and Georgiadis, Christos K.},
    year = {2015},
    booktitle = {10th {IEEE} International Symposium on Industrial Embedded Systems, {SIES} 2015, Siegen, Germany, June 8-10, 2015},
    pages = {245--253},
    publisher = {{IEEE}},
    team = {DCS, RSD},
}

URL


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

info visites 3885792