Einloggen

Thematische Bibliographien / Safety Standards Formalization / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Safety Standards Formalization.

Zeitschriftenartikel 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 Top-24 Zeitschriftenartikel für die Forschung 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.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

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

11

Harry, Enoch Godswill, Akintunde Olaniyi Onamade, and Ibitoye Adeniyi Obafemi. "Human Behavior and Circulation Efficiency in High-Rise Residential Buildings." African Journal of Environmental Sciences and Renewable Energy 19, no. 1 (2025): 225–43. https://doi.org/10.62154/ajesre.2025.019.01024.

Der volle Inhalt der Quelle

Annotation:

The vertical expansion of cities through high-rise residential buildings addresses urban land scarcity but presents complex challenges in circulation efficiency and human behavior. Adopting a Systematic Literature Review methodology and guided by PRISMA protocols, 23 peer-reviewed articles published between 2010 and 2024 were critically evaluated using defined inclusion and exclusion criteria. Thematic synthesis of the selected literature revealed key domains: human behavior, circulation design, user satisfaction, emergency egress, typology and density, smart technological interventions, susta

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Fomin, Igor' Nikolaevich. "Model of the process of generating a scenarios catalog for analyzing and assessing the functional safety of automated driving systems." Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics 2024, no. 3 (2024): 41–47. http://dx.doi.org/10.24143/2072-9502-2024-3-41-47.

Der volle Inhalt der Quelle

Annotation:

In the development of highly automated and unmanned vehicles, the auto industry is faced with a new set of problems associated with the need to standardize elements of automated driving systems and determine the rules for their testing and certification. Due to the acceleration of scientific and technological progress and the development of new technologies, previously used standards began to become obsolete as the practice of their application accumulated, and sometimes even before the approval of a particular technical regulation. In these conditions, a promising technical and legal solution

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Spoladore, Daniele, Vera Colombo, Sara Arlati, Atieh Mahroo, Alberto Trombetta, and Marco Sacco. "An Ontology-Based Framework for a Telehealthcare System to Foster Healthy Nutrition and Active Lifestyle in Older Adults." Electronics 10, no. 17 (2021): 2129. http://dx.doi.org/10.3390/electronics10172129.

Der volle Inhalt der Quelle

Annotation:

In recent years, telehealthcare systems (TSs) have become more and more widespread, as they can contribute to promoting the continuity of care and managing chronic conditions efficiently. Most TSs and nutrition recommendation systems require much information to return appropriate suggestions. This work proposes an ontology-based TS, namely HeNuALs, aimed at fostering a healthy diet and an active lifestyle in older adults with chronic pathologies. The system is built on the formalization of users’ health conditions, which can be obtained by leveraging existing standards. This allows for modelin

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Korol, Elena A., and Rima S. Petrosyan. "Ensuring safe working conditions in the arrangement of household towns of overhauled buildings." Vestnik MGSU, no. 8 (August 2022): 1046–53. http://dx.doi.org/10.22227/1997-0935.2022.8.1046-1053.

Der volle Inhalt der Quelle

Annotation:

Introduction. Construction production is characterized by special conditions for the production of works, which include the need to organize residential camps at the construction site to ensure balanced working and rest conditions for workers. Materials and methods. For buildings of residential camps, design standards are provided that reflect not only the requirements common to all buildings and structures, but also take into account their temporary period of operation with possible reuse. The design of the territories of residential towns is also determined by the norms an.rules develo

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Blobel, B. "Architectural Approach to eHealth for Enabling Paradigm Changes in Health." Methods of Information in Medicine 49, no. 02 (2010): 123–34. http://dx.doi.org/10.3414/me9308.

Der volle Inhalt der Quelle

Annotation:

Summary Objectives: For improving safety and quality of care as well as efficiency of health delivery under the well-known burdens, health services become specialized, distributed, and therefore collaborative, thereby changing the health service paradigm from organization-centered over process-controlled to personal health (pHealth). Methods: Personalized eHealth services provided independent of time and location have to be based on advanced technical paradigms of mobile, pervasive and autonomous computing, enabling ubiquitous health services. Personalized eHealth systems require a multidiscip

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Zhylka, Nadiya, Оlena Shcherbinska, and Ihor Asaulenko. "Regulatory and Legal Regulation of the Organization and Conduct of Clinical Trials at the International Level to Guarantee Patient Safety." Family medicine. European practices, no. 4 (December 26, 2024): 61–67. https://doi.org/10.30841/2786-720x.4.2024.320813.

Der volle Inhalt der Quelle

Annotation:

Clinical trials (CT) at the international level with human participation are necessarily subject to clear and comprehensive international ethical standards in approved documents that have been in force since 1964, in order to protect the human right to health and their safety. Since then, numerous regulatory documents in the field of CT have been developed in the world, which are based on the study of previous experience in compliance, primarily with patient safety rules, and are also constantly updated to include regulatory and organizational technologies in response to the challenges of the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Zhylka, Nadiya, Оlena Shcherbinska, and Ihor Asaulenko. "Regulatory and Legal Regulation of the Organization and Conduct of Clinical Trials at the International Level to Guarantee Patient Safety." Family Medicine. European Practices 4 (December 26, 2024): 61–67. https://doi.org/10.30841/2786-720X.4.2024.320813.

Der volle Inhalt der Quelle

Annotation:

Clinical trials (CT) at the international level with human participation are necessarily subject to clear and comprehensive international ethical standards in approved documents that have been in force since 1964, in order to protect the human right to health and their safety. Since then, numerous regulatory documents in the field of CT have been developed in the world, which are based on the study of previous experience in compliance, primarily with patient safety rules, and are also constantly updated to include regulatory and organizational technologies in response to the challenges of the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Kostogryzov, A. I., A. A. Nistratov, and P. E. Golosov. "METHODOLOGICAL PROVISIONS ON PROBABILISTIC PREDICTION OF INFORMATION SYSTEMS OPERATION QUALITY. Part 3. MODELING OF COMPLEX SYSTEMS. INTEGRAL ANALYSIS." Voprosy kiberbezopasnosti 2, no. 66 (2025): 2–19. https://doi.org/10.21681/2311-3456-2025-2-2-19.

Der volle Inhalt der Quelle

Annotation:

Objective: the purpose of the entire work is to help system analysts involved in assessing the quality of information sys tems (IS) operation during their creation, operation, modernization, development, to form the appearance of a comprehensive probabilistic prediction methodology applicable in the interests of ensuring quality and safety, justifying acceptable risks, identifying significant threats and supporting the adoption of scientifically rational system decisions to proactively counter threats in IS life cycle. The purpose of the 3rd part of the work is to complete the detailing of the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Souza, Marina Batista Chaves Azevedo de, Viviane Fonseca Santos, and Daniela Da Silva Rodrigues. "Trabalho digno para quem? Sobre a formalização do trabalho precário no Brasil / Decent work for whom? About the formalization of precarious work in Brazil." Revista Interinstitucional Brasileira de Terapia Ocupacional - REVISBRATO 4, no. 4 (2020): 580–86. http://dx.doi.org/10.47222/2526-3544.rbto33689.

Der volle Inhalt der Quelle

Annotation:

A arte desenhada sobre papel simboliza os trabalhadores e as trabalhadoras, e suas constantes lutas sociais pela manutenção dos direitos trabalhistas no Brasil, conquistados na década de 1943, com a Consolidação das Leis Trabalhistas (CLT). Trata-se de um estatuto de Normas Regulamentadoras - NR de relações individuais e coletivas de trabalho para aqueles contratados formalmente com vínculo empregatício. Em 2017, o Governo aprova a Lei nº 13.467, reconhecida como Reforma Trabalhista, a qual exclui mais de cem artigos da CLT, reduz direitos e o papel do Estado em relação à proteção da dignidade

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Ongarbaev, N. Kh. "Proposals for Legislative Solutions to the Problems of Bird Deaths on Overhead Power Lines in Kazakhstan." Raptors Conservation, no. 2 (2023): 395–99. http://dx.doi.org/10.19074/1814-8654-2023-2-395-399.

Der volle Inhalt der Quelle

Annotation:

The problems of bird deaths on overhead power lines (PLs) have been studied by experts for many years and have now been examined enough to make basic conclusions about the causes of their deaths and possible ways of solving this problem. It is no secret that PLs that are dangerous to birds cause the greatest damage to migrating and/or nomadic birds. Thus, the states that have not solved the issues of mass deaths of birds on OPLs in their countries, in fact, violate the provisions of the international convention on the conservation of migratory species of wild animals (Bonn Convention or CMS),

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Tanguay, William, Philippe Acar, Benjamin Fine, et al. "Assessment of Radiology Artificial Intelligence Software: A Validation and Evaluation Framework." Canadian Association of Radiologists Journal, November 6, 2022, 084653712211357. http://dx.doi.org/10.1177/08465371221135760.

Der volle Inhalt der Quelle

Annotation:

Artificial intelligence (AI) software in radiology is becoming increasingly prevalent and performance is improving rapidly with new applications for given use cases being developed continuously, oftentimes with development and validation occurring in parallel. Several guidelines have provided reporting standards for publications of AI-based research in medicine and radiology. Yet, there is an unmet need for recommendations on the assessment of AI software before adoption and after commercialization. As the radiology AI ecosystem continues to grow and mature, a formalization of system assessmen

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Quan, Alexander. "Addressing Shortcomings in Contingency Standards of Care." Voices in Bioethics 8 (September 17, 2022). http://dx.doi.org/10.52214/vib.v8i.9991.

Der volle Inhalt der Quelle

Annotation:

Photo by Adhy Savala on Unsplash ABSTRACT During a crisis, when healthcare capacity becomes overwhelmed and cannot meet regular standards of patient care, crisis standards of care are invoked to distribute scarce hospital space, staff, and supplies. When transitioning between conventional standards of care and crisis standards, hospitals may have to manage resources under scarcity constraints in an intermediate phase defined as the contingency phase. While much attention has been paid to the ethics of crisis standard of care protocols, contingency measures were more widely implemented, though

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Аншина, М. Л. "Архитектурные модели управляемые сервисными соглашениями". Международный научный журнал "Современные информационные технологии и ИТ-образование" 17, № 2 (2021). https://doi.org/10.25559/sitito.17.202102.334-344.

Der volle Inhalt der Quelle

Annotation:

В последнее время наблюдается рост интереса к дисциплине «Архитектура предприятия». Это связано с общим усложнение архитектурных стилей, используемых в рамках осуществления цифровой трансформации и перехода к цифровой экономике. Вместе с тем растет потребность в гибкости предприятий и, соответственно, их архитектуры, т.е. к стилям, относящимся к Гибкой Архитектуре (Agile Architecture). Ведь Agile давно вышел за рамки принципов управления проектами разработки информационных систем. Однако для того, чтобы при обеспечении гибкости не потерять надежность, безопасность, производительность и другие

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Icibaci, Loriane. "Re-use of Building Products in the Netherlands." Architecture and the Built Environment, 2018. http://dx.doi.org/10.59490/abe.2019.2.3248.

Der volle Inhalt der Quelle

Annotation:

Over the years, the consumption of materials for construction exceeded more than half of the total materials consumed in the Netherlands, and construction waste exceeded the volume of solid waste produced by households. Since the introduction of the "Ladder van Lansink" (in the 1970’s) and the further development of the European Waste Framework Directives followed by the Circular Economy concept, waste prevention has been considered a priority measure. Whereas the goals to improve waste management towards waste-to-resource and waste elimination evolved from guidelines to political action (thro

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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!