Thematische Bibliographien / Safety Standards Formalization

Inhaltsverzeichnis

  1. Zeitschriftenartikel
  2. Dissertationen
  3. Buchteile
  4. Konferenzberichte

Auswahl der wissenschaftlichen Literatur zum Thema „Safety Standards Formalization“

Autor: Grafiati
Veröffentlicht am 25. Juni 2021
Zuletzt aktualisiert am 29. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Safety Standards Formalization" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Safety Standards Formalization"

1

Antipov, V. E., and V. V. Selifanov. "Problems of formalization of ISMS processes." Interexpo GEO-Siberia 6 (May 18, 2022): 3–8. http://dx.doi.org/10.33764/2618-981x-2022-6-3-8.

Der volle Inhalt der Quelle
Annotation:
This article raises the problem of formalization of processes in the information security management system. The question of the necessity and importance of the stage of formalization of processes, the study and analysis of national and international standards is considered. In the course of the work, approaches to the development of an information security management system were analyzed, as well as national standards ГОСТ Р ИСО/МЭК 27001-2006, ГОСТ Р ИСО/МЭК 27002-2012 and ГОСТ Р ИСО/МЭК 27005-2010, which are the main ones when creating an information security management system (ISMS) and ap
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Wong, Wing C., Mary Bedner, and Mary B. Satterfield. "The Formalization of a Biological Safety Program at the National Institute of Standards and Technology." Applied Biosafety 18, no. 4 (2013): 187–90. http://dx.doi.org/10.1177/153567601301800405.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Shyshatska, Olena, Liubomyr Matiichuk, and Andrii Shyshatskyy. "Specification and Verification of a Formal Model for a Real-Time System Using TLA+." Central Ukrainian Scientific Bulletin. Technical Sciences 2, no. 11(42) (2025): 38–44. https://doi.org/10.32515/2664-262x.2025.11(42).2.38-44.

Der volle Inhalt der Quelle
Annotation:
The paper describes theoretical and applied aspects of modeling real-time information systems using the example of a continuous glucose monitoring (CGM) system. The primary focus is on the application of formal methods, in particular the TLA+ specification language and modal logics, which ensure mathematical precision in describing system behavior. A formal model of the CGM system is constructed, safety invariants are defined, and automated model verification is performed using the TLC mechanism. The obtained results can be used to improve the reliability and justify the correctness of softwar
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Troka, Pranvera, Marsela Luarasi, and Ilir Kapaj. "Food Safety Practices in Artisanal and Semi-Automated Dairy Processors: Evidence from Fier, Albania." Agriculture 15, no. 7 (2025): 762. https://doi.org/10.3390/agriculture15070762.

Der volle Inhalt der Quelle
Annotation:
Food safety and traceability in dairy processing plants are essential for public health and industry sustainability. This study provides an empirical assessment of food safety and traceability practices among artisanal and semi-automated dairy processors in Fier, Albania, which is the country’s leading milk-producing region. Based on structured interviews with 18 dairy processors, we examined practices related to supplier management, quality control, facility conditions, staff hygiene, and equipment sanitation. The results reveal significant gaps in milk supplier inspections, biochemical testi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Kachynska, Nataliia F., Olena V. Zemlyanska, Arkadii M. Husiev, Hlib V. Demchuk, and Andrii I. Kovtun. "Labour Protection as a Component of Effective Management of a Modern Enterprise." Scientific Bulletin of Mukachevo State University Series “Economics” 8, no. 1 (2021): 77–85. http://dx.doi.org/10.52566/msu-econ.8(1).2021.77-85.

Der volle Inhalt der Quelle
Annotation:
Occupational safety issues, especially in a large enterprise, constitute key components of the social and labour sphere, which largely affect the operation of the entire enterprise. In modern economic environment, where every company aims to produce competitive, high-quality products and make a profit, maintaining the health and efficiency of each employee is a top priority. Any socially oriented enterprise is interested, first and foremost, in reducing the level of accidents, injuries, industrial and occupational diseases of employees. The purpose of the study was to identify and assess the r
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Debbech, Sana, Simon Collart-Dutilleul, and Philippe Bon. "An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design." JUCS - Journal of Universal Computer Science 26, no. 5 (2020): 549–82. http://dx.doi.org/10.3897/jucs.2020.030.

Der volle Inhalt der Quelle
Annotation:
Dysfunctional analysis is an essential and demanding task in the early development stages of safety-critical systems (SCSs). Nevertheless, current practices present several drawbacks. Generally, a common dysfunctional analysis conceptualization is missing and it is dependent on safety analysis techniques. Moreover, some safety analysis methods require well-known system behaviors expressed by dynamic models such as sequence diagrams and finite automata. However, the dynamic character of these models increases their susceptibility to changes and then they are not obtainable in the early design s
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Debbech, Sana, Simon Collart-Dutilleul, and Philippe Bon. "An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design." JUCS - Journal of Universal Computer Science 26, no. (5) (2020): 549–82. https://doi.org/10.3897/jucs.2020.030.

Der volle Inhalt der Quelle
Annotation:
Dysfunctional analysis is an essential and demanding task in the early development stages of safety-critical systems (SCSs). Nevertheless, current practices present several drawbacks. Generally, a common dysfunctional analysis conceptualization is missing and it is dependent on safety analysis techniques. Moreover, some safety analysis methods require well-known system behaviors expressed by dynamic models such as sequence diagrams and finite automata. However, the dynamic character of these models increases their susceptibility to changes and then they are not obtainable in the early design s
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Wasiullah, Prof (Dr ). Mohd, Prof (Dr ). Piyush Yadav, Sushil Yadav, and Saurabh rai Saurabh rai. "A compressive review on “The Evolution and Impact of Good Clinical Practice (GCP) Guidelines in Modern Clinical Research”." International Journal of Pharmaceutical Research and Applications 10, no. 2 (2025): 2791–97. https://doi.org/10.35629/4494-100227912797.

Der volle Inhalt der Quelle
Annotation:
Good Clinical Practice (GCP) guidelines for the ethical and scientific foundation for the conduct of clinical research involving human subjects. The development of GCP has been a response to historical ethical breaches and the increasing need for global harmonization in clinical research standards. Beginning with early ethical codes like the Nuremberg Code and the Declaration of Helsinki, and catalyzed by events such as the thalidomide tragedy and the Tuskegee Syphilis Study, the evolution of GCP reflects society’s growing recognition of the need to safeguard the rights, safety, and well-being
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Tri Wahyuni, Nurlely, and Ratna Wardani. "Penerapan Manajemen Asuhan Keperawatan Profesional Sebagai Upaya Peningkatan Mutu Asuhan." Jurnal Abdi Kesehatan dan Kedokteran 4, no. 2 (2025): 1–10. https://doi.org/10.55018/jakk.v4i2.71.

Der volle Inhalt der Quelle
Annotation:
Professional Nursing Care Management (PNCM) is a structured approach aimed at improving the quality of nursing services by emphasizing patient safety and professional standards. Despite its significance, many hospitals encounter barriers in implementing PNCM optimally due to uneven educational levels, limited nurse competencies, unsupportive management systems, and low staff motivation. These challenges can lead to suboptimal nurse performance and reduced care quality. This community-based project aimed to improve nursing care quality at Dayaku Raja Regional Public Hospital through the impleme
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Gorokhov, M. M., and P. M. Kurguzkin. "Formalization of Natural-Technical System Characteristics for System Approach to Assess its Ecological State." Intellekt. Sist. Proizv. 21, no. 4 (2023): 47–52. http://dx.doi.org/10.22213/2410-9304-2023-4-47-52.

Der volle Inhalt der Quelle
Annotation:
The increased attention of the State to the problem of environmental safety is associated with the growth of anthropogenic and man-made impacts on the environment. Reducing this impact is the goal of implementing federal-level policy documents. The achievement of program goals in the sphere of environmental is associated with the development, planning and implementation of a set of environmental measures at various levels. It is obvious that the effectiveness of these measures is largely determined by the completeness and reliability of current and forecast information on the state of the envi
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Dissertationen zum Thema "Safety Standards Formalization"

1

Castellanos, Ardila Julieth Patricia. "Facilitating Automated Compliance Checking of Processes against Safety Standards." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-42752.

Der volle Inhalt der Quelle
Annotation:
A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. Therefore, manufacturers of safety-critical systems comply with domain-specific safety standards, which embody the public consensus of acceptably safe. Safety standards also contain a repository of expert knowledge and best practices that can, to some extent, facil
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buchteile zum Thema "Safety Standards Formalization"

1

Titolo, Laura, Mariano Moscato, Marco A. Feliu, Paolo Masci, and César A. Muñoz. "Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-71177-0_2.

Der volle Inhalt der Quelle
Annotation:
AbstractSmall round-off errors in safety-critical systems can lead to catastrophic consequences. In this context, determining if the result computed by a floating-point program is accurate enough with respect to its ideal real-number counterpart is essential. This paper presents PRECiSA 4.0, a tool that rigorously estimates the accumulated round-off error of a floating-point program. PRECiSA 4.0 combines static analysis, optimization techniques, and theorem proving to provide a modular approach for computing a provably correct round-off error estimation. PRECiSA 4.0 adds several features to pr
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Safety Standards Formalization"

1

Zhao, Yongwang, Zhibin Yang, David Sanan, and Yang Liu. "Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B." In 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2015. http://dx.doi.org/10.1109/issre.2015.7381821.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Pokshevnytska, Tetyana. "Groundwater monitoring for drinking water supply in Ternopil city." In International Conference of Young Scientists on Meteorology, Hydrology and Environmental Monitoring. Ukrainian Hydrometeorological Institute, 2023. http://dx.doi.org/10.15407/icys-mhem.2023.035.

Der volle Inhalt der Quelle
Annotation:
The problem of contamination of underground sources of water supply in Ukraine is currently serious and requires immediate resolution. It is necessary to conduct systematic monitoring of water quality, develop and implement strategies to reduce emissions of hazardous substances and ensure proper storage of toxic waste. It is also important to increase public awareness of the need to protect the environment and use environmentally friendly technologies. In order to study the complex system of "groundwater quality - environmental impact - population health" and identify relationships between its
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "Safety Standards Formalization" für konkrete Quellenarten können Sie auch interessieren:
Zeitschriftenartikel
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie