Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Safety Specification"" wg kryterium: Temat


Tytuł:
Analysis of safety specifications in risk management plan at the time of drug approval and addition of clinically significant adverse reactions in the package insert post‐approval in Japan
Autorzy:
Rieko Saito
Seiko Miyazaki
Pokaż więcej
Temat:
clinically significant adverse reaction
drug information
package insert
risk management plan
safety specification
Therapeutics. Pharmacology
RM1-950
Źródło:
Pharmacology Research & Perspectives, Vol 11, Iss 4, Pp n/a-n/a (2023)
Opis pliku:
electronic resource
Relacje:
https://doaj.org/toc/2052-1707
Dostęp URL:
https://doaj.org/article/1e1d273e84014155bc4a942a3909f1d0  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies
Autorzy:
Koki Kanashima
Toshimitsu Ushio
Pokaż więcej
Temat:
HyperLTL
opacity
path planning
safety/co-safety specification
security policy
shield synthesis
Electrical engineering. Electronics. Nuclear engineering
TK1-9971
Źródło:
IEEE Access, Vol 11, Pp 11766-11780 (2023)
Opis pliku:
electronic resource
Relacje:
https://ieeexplore.ieee.org/document/10035993/; https://doaj.org/toc/2169-3536
Dostęp URL:
https://doaj.org/article/fd52f89c0de64da080c0debba64ca721  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Automatic Addition of Conflicting Properties
Autorzy:
Roohitavaf, Mohammad
Kulkarni, Sandeep S.
Pokaż więcej
Źródło:
Stabilization, Safety, and Security of Distributed Systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings. 10083:310-326
Książka elektroniczna
Tytuł:
Designing Efficient Fail-Safe Multitolerant Systems
Autorzy:
Jhumka, Arshad
Suri, Neeraj
Pokaż więcej
Źródło:
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings. 3731:428-442
Książka elektroniczna
Tytuł:
Theoretical & Methodological Framework
Współwytwórcy:
Gabbar, Hossam A.
Suzuki, Kazuhiko
Źródło:
The Design of a Practical Enterprise Safety Management System. :24-63
Książka elektroniczna
Tytuł:
Will it be Safe? — An Approach to Engineering Safety Requirements
Autorzy:
Simpson, Alan
Stoker, Joanne
Pokaż więcej
Źródło:
Components of System Safety : Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK 2002. :140-164
Książka elektroniczna
Tytuł:
A type-theoretic approach to deadlock-freedom of asynchronous systems
Autorzy:
Abramsky, Samson
Gay, Simon
Nagarajan, RajagopalAff3, Aff4
Pokaż więcej
Źródło:
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings. 1281:295-320
Książka elektroniczna
Tytuł:
On-line Software Error Detection by Executable Assertions: From Theory to Practice
Autorzy:
Rabéjac, Christophe
Pokaż więcej
Źródło:
Safe Comp 95 : The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995. :390-402
Książka elektroniczna
Tytuł:
Preliminary Experience Using Z to Specify a Safety-Critical System
Autorzy:
Knight, John C.
Kienzle, Darrell M.
Pokaż więcej
Źródło:
Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992. :109-118
Degree:
MA
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies