Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Safety Specification"'
Autor:
T. M. Bukatina, E. V. Shubnikova
Publikováno v:
Безопасность и риск фармакотерапии, Vol 12, Iss 2, Pp 201-213 (2024)
INTRODUCTION. A risk management plan (RMP) is an important document for assessing and managing risks when using a medicinal product. An RMP is provided as part of the marketing authorisation application for a medicinal product. The requirements for t
Externí odkaz:
https://doaj.org/article/02c1e5f5d6ee40a99d9ef960cf955453
Autor:
Koki Kanashima, Toshimitsu Ushio
Publikováno v:
IEEE Access, Vol 11, Pp 11766-11780 (2023)
With the development of network technology, security in path planning problems has attracted widespread attention. We consider a path planning problem in which a planner computes a finite path that satisfies a specification. We assume that the specif
Externí odkaz:
https://doaj.org/article/fd52f89c0de64da080c0debba64ca721
Autor:
Rieko Saito, Seiko Miyazaki
Publikováno v:
Pharmacology Research & Perspectives, Vol 11, Iss 4, Pp n/a-n/a (2023)
Abstract Recently, post‐marketing safety measures have been considered critical in Japan due to the globalization of drug development and the introduction of new drug approval systems. Pharmacists are expected to play an active role in ensuring the
Externí odkaz:
https://doaj.org/article/1e1d273e84014155bc4a942a3909f1d0
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Adnan Khan, Martin Fabian
Publikováno v:
CIRP Journal of Manufacturing Science and Technology. 35:431-440
This paper presents an approach to automatically amend an erroneous model of an implementation using a safety specification as the basis to ensure safety. Industrially, safety PLCs are common to ensure safe operations. However, before its commissioni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f11b1048ec09518b6d7287ef38400ce4
https://doi.org/10.1016/j.cirpj.2021.07.008
https://doi.org/10.1016/j.cirpj.2021.07.008
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Model Checking Software ISBN: 9783031150760
Deep neural networks (DNNs) are increasingly applied in safety-critical domains, such as self-driving cars, unmanned aircraft, and medical diagnosis. It is of fundamental importance to certify the safety of these DNNs, i.e. that they comply with a fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad7852a7d5226785a2c03ee1d6bfc7d0
