External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using Probabilistic Analysis for the Certification of Machine Control Systems

Atif Mashkoor, Osman Hasan, Wolfgang Beer. Using Probabilistic Analysis for the Certification of Machine Control Systems. In Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu, Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu, editors, Security Engineering and Intelligence Informatics - CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings. Volume 8128 of Lecture Notes in Computer Science, pages 305-320, Springer, 2013. [doi]

Abstract

Abstract is missing.

runs on