BibTeX record conf/asap/KuangOKB10

• > Home > conf/asap/KuangOKB10

@inproceedings{DBLP:conf/asap/KuangOKB10,
  author       = {Heng Kuang and
                  Olga Ormandjieva and
                  Stan Klasa and
                  Jamal Bentahar},
  editor       = {Fran{\c{c}}ois Charot and
                  Frank Hannig and
                  J{\"{u}}rgen Teich and
                  Christophe Wolinski},
  title        = {A formal specification of fault-tolerance in prospecting asteroid
                  mission with Reactive Autonomie Systems Framework},
  booktitle    = {21st {IEEE} International Conference on Application-specific Systems
                  Architectures and Processors, {ASAP} 2010, Rennes, France, 7-9 July
                  2010},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ASAP.2010.5540769},
  doi          = {10.1109/ASAP.2010.5540769},
  timestamp    = {Mon, 05 Feb 2024 20:33:39 +0100},
  biburl       = {https://dblp.org/rec/conf/asap/KuangOKB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}