bibtex

@inproceedings{FBC+0,
    title = { Runtime Verification of Timed Properties in Autonomous Robots },
    author = {Foughali, Mohammed and Bensalem, Saddek and Combaz, Jacques and Ingrand, Felix},
    year = {2020},
    booktitle = {18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},
    pages = {to appear},
    team = {RSD},
}

URL


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

info visites 4199663