Inproceedings,
Testing real-time embedded software using runtime enforcement.
L. Givel, J. Béchennec, M. Brun, S. Faucou, and O. Roux.SIES, page 199-204. IEEE, (2016)
Meta data
- BibTeX key
- conf/sies/GivelBBFR16
- entry type
- inproceedings
- booktitle
- SIES
- year
- 2016
- pages
- 199-204
- publisher
- IEEE
- crossref
- conf/sies/2016
- ee
- https://doi.org/10.1109/SIES.2016.7509430
- isbn
- 978-1-5090-2282-3
- url
- http://dblp.uni-trier.de/db/conf/sies/sies2016.html#GivelBBFR16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sies/GivelBBFR16
%A Givel, Louis-Marie
%A Béchennec, Jean-Luc
%A Brun, Matthias
%A Faucou, Sébastien
%A Roux, Olivier H.
%B SIES
%D 2016
%I IEEE
%K dblp
%P 199-204
%T Testing real-time embedded software using runtime enforcement.
%U http://dblp.uni-trier.de/db/conf/sies/sies2016.html#GivelBBFR16
%@ 978-1-5090-2282-3
@inproceedings{conf/sies/GivelBBFR16,
added-at = {2020-12-29T00:00:00.000+0100},
author = {Givel, Louis-Marie and Béchennec, Jean-Luc and Brun, Matthias and Faucou, Sébastien and Roux, Olivier H.},
biburl = {https://www.bibsonomy.org/bibtex/21b157c003190a0d598257fdd10a8fd4c/dblp},
booktitle = {SIES},
crossref = {conf/sies/2016},
ee = {https://doi.org/10.1109/SIES.2016.7509430},
interhash = {3c5555b2c39cd47de684df108f61a351},
intrahash = {1b157c003190a0d598257fdd10a8fd4c},
isbn = {978-1-5090-2282-3},
keywords = {dblp},
pages = {199-204},
publisher = {IEEE},
timestamp = {2024-04-10T08:30:17.000+0200},
title = {Testing real-time embedded software using runtime enforcement.},
url = {http://dblp.uni-trier.de/db/conf/sies/sies2016.html#GivelBBFR16},
year = 2016
}