Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Rüdiger Lunde"'
Publikováno v:
Information, Vol 8, Iss 1, p 7 (2017)
Verification of safety requirements is one important task during the development of safety critical systems. The increasing complexity of systems makes manual analysis almost impossible. This paper introduces a new methodology for formal verification
Externí odkaz:
https://doaj.org/article/82b8cd2176f7482381d49c9d1b3b9f1f
Autor:
Christian Müller, Gaëlle Girard, Rüdiger Lunde, Jonathan James Hendriks, Ivan Baeriswyl, Philipp Hönig, Roland Scherwey
Publikováno v:
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3777873e6df97e7fccefe070122237c
https://doi.org/10.3850/978-981-14-8593-0_4941-cd
https://doi.org/10.3850/978-981-14-8593-0_4941-cd
Publikováno v:
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48cb5afd379b0dcd2bdd03b738119e60
https://doi.org/10.3850/978-981-14-8593-0_3972-cd
https://doi.org/10.3850/978-981-14-8593-0_3972-cd
Publikováno v:
Procedia CIRP. 67:24-29
Nowadays the automotive industry is facing a growing demand for mass customization, while continually extending the product range in order to remain competitive. This trend leads to a higher diversity of the assembly processes and consequently to a r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ddfbb2b979049117206ba0e86ae7ebd1
https://doi.org/10.1016/j.procir.2017.12.170
https://doi.org/10.1016/j.procir.2017.12.170
Publikováno v:
IFAC-PapersOnLine. 51:131-138
In the context of system development design failures can cause immense costs, especially if they remain undetected until very late phases of system integration and test. Therefore it is essential to verify the design concepts systematically before th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6dcbfe9d4fe6adc92b101a19245ebaf
https://doi.org/10.1016/j.ifacol.2018.09.546
https://doi.org/10.1016/j.ifacol.2018.09.546
Publikováno v:
IFAC-PapersOnLine. 51:1255-1262
These days, more and more responsibility is transferred to technical systems. Beyond that, the amount of interacting components increases on and on. To ensure that these systems are safe and reliable and to avoid unnecessary harm, safety engineers ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b7632018f55d6f88bd770171b4a442f
https://doi.org/10.1016/j.ifacol.2018.09.573
https://doi.org/10.1016/j.ifacol.2018.09.573
Publikováno v:
Information; Volume 8; Issue 1; Pages: 7
Information, Vol 8, Iss 1, p 7 (2017)
Information, Vol 8, Iss 1, p 7 (2017)
Verification of safety requirements is one important task during the development of safety critical systems. The increasing complexity of systems makes manual analysis almost impossible. This paper introduces a new methodology for formal verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31ada61cc9ba9f260650d29efe573a0a
https://mediatum.ub.tum.de/doc/1432753/document.pdf
https://mediatum.ub.tum.de/doc/1432753/document.pdf
