Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/IEEEares/MashkoorHB13
%A Mashkoor, Atif
%A Hasan, Osman
%A Beer, Wolfgang
%B CD-ARES Workshops
%D 2013
%E Cuzzocrea, Alfredo
%E Kittl, Christian
%E Simos, Dimitris E.
%E Weippl, Edgar R.
%E Xu, Lida
%I Springer
%K
%P 305-320
%T Using Probabilistic Analysis for the Certification of Machine Control Systems.
%U http://dblp.uni-trier.de/db/conf/IEEEares/cd-ares2013w.html#MashkoorHB13
%V 8128
%@ 978-3-642-40587-7
@inproceedings{conf/IEEEares/MashkoorHB13,
added-at = {2023-12-13T03:05:30.000+0100},
author = {Mashkoor, Atif and Hasan, Osman and Beer, Wolfgang},
biburl = {https://www.bibsonomy.org/bibtex/28c10ab48d74313896b02f1ed86862788/admin},
booktitle = {CD-ARES Workshops},
crossref = {conf/IEEEares/2013cd-w},
editor = {Cuzzocrea, Alfredo and Kittl, Christian and Simos, Dimitris E. and Weippl, Edgar R. and Xu, Lida},
ee = {https://doi.org/10.1007/978-3-642-40588-4_21},
interhash = {8767b474e6e0dc8f2526cc5cda023ed1},
intrahash = {8c10ab48d74313896b02f1ed86862788},
isbn = {978-3-642-40587-7},
keywords = {},
pages = {305-320},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T03:05:30.000+0100},
title = {Using Probabilistic Analysis for the Certification of Machine Control Systems.},
url = {http://dblp.uni-trier.de/db/conf/IEEEares/cd-ares2013w.html#MashkoorHB13},
volume = 8128,
year = 2013
}