Zeitschriftenartikel zum Thema „Safety logiciel“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Safety logiciel" 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.
PENNEROUX, J. „Lancement d'un logiciel de formation à la radioprotection“. Radioprotection 29, Nr. 3 (Juli 1994): 405–6. http://dx.doi.org/10.1051/radiopro/1994012.
Der volle Inhalt der QuellePIPAUD, J. Y. „RADIOR, un logiciel d'initiation à l'optimisation de la radioprotection“. Radioprotection 30, Nr. 1 (Januar 1995): 103–4. http://dx.doi.org/10.1051/radiopro/1995019.
Der volle Inhalt der QuelleRenaud, Ph, H. Maubert, D. Robeau, I. Linge, O. Pavlovsky und I. Ossipiants. „PARIS : un logiciel de simulation d'états radioécologiques post-accidentels“. Radioprotection 32, Nr. 4 (Oktober 1997): 521–32. http://dx.doi.org/10.1051/radiopro:1997116.
Der volle Inhalt der QuelleBourgois, L., und H. Lelache. „TransporaD version 2.0 un logiciel sur la réglementation des transports de matières radioactives“. Radioprotection 33, Nr. 2 (April 1998): 189–91. http://dx.doi.org/10.1051/radiopro:1998105.
Der volle Inhalt der QuelleMaubert, Henri, Philippe Renaud, Jean-Christophe Bernié, Guillaume de Drouas, Philippe Fache und Jean-Michel Métivier. „ASTRAL : un logiciel pour l'évaluation des conséquences d'un rejet accidentel de radionucléides dans l'environnement“. Radioprotection 32, Nr. 3 (Juli 1997): 357–69. http://dx.doi.org/10.1051/radiopro:1997112.
Der volle Inhalt der QuelleJARVIS, N. S., und A. BIRCHALL. „LUDEP 1.0, un logiciel pour ordinateur personnel qui applique le nouveau modèle pulmonaire de la CIPR“. Radioprotection 29, Nr. 1 (Januar 1994): 81–86. http://dx.doi.org/10.1051/radiopro/1994023.
Der volle Inhalt der QuelleEgan, Rylan, Jessica Baumhour, Monica Mullin, Amelia Wilkinson, Sara Awad, Johanna Murphy, Nancy Dalgarno, Angela Coderre-Ball und Geneviève Digby. „Resident and Attending Physician Perceptions of a Quality and Safety Curriculum“. Canadian Journal of General Internal Medicine 16, Nr. 3 (21.09.2021): e62-e73. http://dx.doi.org/10.22374/cjgim.v16i3.495.
Der volle Inhalt der QuelleGROUZELLE, C., F. LAYLAVOIX F., M. F. BAUDOT und R. DUCOUSSO. „Logiciel pour une évaluation rapide des conséquences d'une retombée radioactive sur la chaîne alimentaire : applications au milieu tropical“. Radioprotection 30, Nr. 1 (Januar 1995): 79–88. http://dx.doi.org/10.1051/radiopro/1995024.
Der volle Inhalt der QuelleDegrange, J. P., F. P. Levy und T. Schneider. „ECRS : Un logiciel pour l'évaluation du risque et des contre-mesures associés à l'exposition au radon dans les habitations“. Radioprotection 36, Nr. 4 (Oktober 2001): 537–46. http://dx.doi.org/10.1051/radiopro:2001107.
Der volle Inhalt der QuelleLamart, S., L. De Carlan, E. Blanchardon und D. Franck. „Développements apportés au logiciel OEDIPE de simulation de mesures anthroporadiamétriques pour la prise en compte des données biocinétiques dans la modélisation de la contamination interne“. Radioprotection 43, Nr. 2 (April 2008): 213–23. http://dx.doi.org/10.1051/radiopro:2007055.
Der volle Inhalt der QuellePichard, Romain, Alexandre Philippot, Ramla Saddem und Bernard Riera. „Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter“. IEEE Transactions on Control Systems Technology 27, Nr. 4 (Juli 2019): 1659–67. http://dx.doi.org/10.1109/tcst.2018.2827329.
Der volle Inhalt der QuelleCornelissen, Pieter A., Mark Van Vuuren und Joris J. Van Hoof. „How logical is safety? An institutional logics perspective on safety at work“. Work 66, Nr. 1 (04.06.2020): 135–47. http://dx.doi.org/10.3233/wor-203158.
Der volle Inhalt der QuelleRakotoarivelo, ZH, EE Batavisoaniatsy, FI Rakotonindrina, RS Rakotomalala, AT Rabenandrianina, AAO Rakoto und A. Rasamindrakotroka. „Knowledge, attitudes and practices regarding blood donation in a rural Malagasy population: Case of the Belobaka -Mahajanga II municipality“. Africa Sanguine 24, Nr. 1 (22.12.2022): 19–23. http://dx.doi.org/10.4314/asan.v24i1.3.
Der volle Inhalt der QuelleFUTSUHARA, Koichi, und Noboru SUGIMOTO. „A logical consideration of the safety operation system of the safety confirmation type.“ Transactions of the Japan Society of Mechanical Engineers Series C 56, Nr. 529 (1990): 2378–85. http://dx.doi.org/10.1299/kikaic.56.2378.
Der volle Inhalt der QuelleRanger, T., A. Philippot und B. Riera. „Algebraic Synthesis of Safety Logical Filter on Manufacturing Systems“. IFAC-PapersOnLine 55, Nr. 2 (2022): 169–74. http://dx.doi.org/10.1016/j.ifacol.2022.04.188.
Der volle Inhalt der QuelleRyabinin, Igor A., und Alexander V. Strukov. „Quantitative examples of safety assessment using logical-probabilistic methods“. International Journal of Risk Assessment and Management 21, Nr. 1/2 (2018): 4. http://dx.doi.org/10.1504/ijram.2018.090253.
Der volle Inhalt der QuelleRyabinin, Igor A., und Alexander V. Strukov. „Quantitative examples of safety assessment using logical-probabilistic methods“. International Journal of Risk Assessment and Management 21, Nr. 1/2 (2018): 4. http://dx.doi.org/10.1504/ijram.2018.10011305.
Der volle Inhalt der QuelleYang, Yang, Qing Xia und Yu Zhang. „Entropy Model For Safety Culture and Safety Performance“. Advances in Computer and Engineering Technology Research 1, Nr. 1 (05.12.2023): 96. http://dx.doi.org/10.61935/acetr.1.1.2023.p96.
Der volle Inhalt der QuelleVentrone, T. A. „A logical progression“. Process Safety Progress 12, Nr. 1 (Januar 1993): J3. http://dx.doi.org/10.1002/prs.680120102.
Der volle Inhalt der QuelleKarasev, Vasily, und Eugene Solozhentsev. „Hybrid logical and probabilistic models for management of socioeconomic safety“. International Journal of Risk Assessment and Management 21, Nr. 1/2 (2018): 89. http://dx.doi.org/10.1504/ijram.2018.090258.
Der volle Inhalt der QuelleKarasev, Vasily, und Eugene Solozhentsev. „Hybrid logical and probabilistic models for management of socioeconomic safety“. International Journal of Risk Assessment and Management 21, Nr. 1/2 (2018): 88. http://dx.doi.org/10.1504/ijram.2018.10011309.
Der volle Inhalt der QuelleLim, Ho-Gon, Dong-San Kim, Sang Hoon Han und Joon Eon Yang. „Development of logical structure for multi-unit probabilistic safety assessment“. Nuclear Engineering and Technology 50, Nr. 8 (Dezember 2018): 1210–16. http://dx.doi.org/10.1016/j.net.2018.10.012.
Der volle Inhalt der QuelleTchórzewska-Cieślak, Barbara, Katarzyna Pietrucha-Urbanik, Janusz Rak, Dorota Papciak, Petr Hlavínek und Krzysztof Chmielowski. „A Safety Assessment for Consumers of Water Using Logical Trees“. Applied Sciences 12, Nr. 21 (07.11.2022): 11276. http://dx.doi.org/10.3390/app122111276.
Der volle Inhalt der QuelleПлуготаренко, Н., N. Plutogarenko, А. Долгополова und A. Dolgopolova. „Method for Urban Environmental Safety’s Integral Assessment with the Usage of Logical-Probabilistic Approach“. Safety in Technosphere 6, Nr. 4 (18.12.2017): 75–82. http://dx.doi.org/10.12737/article_5a290a9c4d9b03.59307929.
Der volle Inhalt der QuelleNiu, Yue, Jonathan Sterling, Harrison Grodin und Robert Harper. „A cost-aware logical framework“. Proceedings of the ACM on Programming Languages 6, POPL (16.01.2022): 1–31. http://dx.doi.org/10.1145/3498670.
Der volle Inhalt der QuelleLi, Huan, und You Shi Zheng. „Study on the logical relationship between system safety and PMMEL project“. Journal of Physics: Conference Series 2252, Nr. 1 (01.04.2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.
Der volle Inhalt der QuelleLi, Huan, und You Shi Zheng. „Study on the logical relationship between system safety and PMMEL project“. Journal of Physics: Conference Series 2252, Nr. 1 (01.04.2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.
Der volle Inhalt der QuelleLi Wei, Li Wei, und Bing-Wu Fang Li Wei. „Safety Analysis Method of Mixed Failure Model using Temporal Bayesian Network“. 網際網路技術學刊 23, Nr. 4 (Juli 2022): 727–34. http://dx.doi.org/10.53106/160792642022072304008.
Der volle Inhalt der QuelleSugimoto, Noboru, Koichi Futsuhara und Masao Mukaidono. „The principle and logical structure of safety in man-machine system.“ IEEJ Transactions on Industry Applications 107, Nr. 9 (1987): 1092–98. http://dx.doi.org/10.1541/ieejias.107.1092.
Der volle Inhalt der QuelleLi, Zhao Hui, und Yan Chen. „Use Management System to Improve Highway Safety“. Advanced Materials Research 268-270 (Juli 2011): 1524–27. http://dx.doi.org/10.4028/www.scientific.net/amr.268-270.1524.
Der volle Inhalt der QuelleDźwiarek, Marek. „Design of logical devices that perform guard interlocking and locking function“. Mechanik 92, Nr. 7 (08.07.2019): 474–76. http://dx.doi.org/10.17814/mechanik.2019.7.61.
Der volle Inhalt der QuelleSineshchuk, Yury Ivanovich, Alexandr Gennadyevich Philippov, Sergey Nikolaevich Terehin, Denis Valerjevich Nikolaev und Igor Borisovich Saenko. „Structural-logical method of the safety analysis of the potentially dangerous objects“. SPIIRAS Proceedings 2, Nr. 17 (17.03.2014): 55. http://dx.doi.org/10.15622/sp.17.4.
Der volle Inhalt der QuelleBackhouse, Kevin, und Roland Backhouse. „Safety of abstract interpretations for free, via logical relations and Galois connections“. Science of Computer Programming 51, Nr. 1-2 (Mai 2004): 153–96. http://dx.doi.org/10.1016/j.scico.2003.06.002.
Der volle Inhalt der QuelleNeal, Jack A., und Mary Dawson. „Outbreak at Mulligan Oaks: A Logical Approach to Discovering Food Safety Attributes“. Journal of Hospitality & Tourism Cases 3, Nr. 3 (November 2014): 16–20. http://dx.doi.org/10.1177/216499871400300303.
Der volle Inhalt der QuelleOr, Liran Bar, Shai Arogeti und Daniel Hartmann. „Challenges in Future Mathematical Modelling of Hierarchical Functional Safety Control Structures within STAMP Safety Model“. MATEC Web of Conferences 273 (2019): 02011. http://dx.doi.org/10.1051/matecconf/201927302011.
Der volle Inhalt der QuelleLiu, Yiyun, und Stephanie Weirich. „Dependently-Typed Programming with Logical Equality Reflection“. Proceedings of the ACM on Programming Languages 7, ICFP (30.08.2023): 649–85. http://dx.doi.org/10.1145/3607852.
Der volle Inhalt der QuelleChu, Jiayun, Xiaohong Bao, Tingdi Zhao und Fuchun Ren. „Safety analysis for integrated modular avionics based on blueprints“. MATEC Web of Conferences 169 (2018): 01029. http://dx.doi.org/10.1051/matecconf/201816901029.
Der volle Inhalt der QuelleFaella, Marco, und Gennaro Parlato. „Reachability Games Modulo Theories with a Bounded Safety Player“. Proceedings of the AAAI Conference on Artificial Intelligence 37, Nr. 5 (26.06.2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.
Der volle Inhalt der QuelleLOKE, SENG WAI, und ANDREW DAVISON. „Secure Prolog-based mobile code“. Theory and Practice of Logic Programming 1, Nr. 3 (Mai 2001): 321–57. http://dx.doi.org/10.1017/s1471068401001211.
Der volle Inhalt der QuelleViatkina, Nataliia. „Memory in Terms of Logic and Semiotics“. Filosofska dumka (Philosophical Thought) -, Nr. 4 (10.12.2021): 142–52. http://dx.doi.org/10.15407/fd2021.04.142.
Der volle Inhalt der QuelleLei, Shi, Zizheng Guo, Xi Tan, Xi Chen, Chengen Li, Jiaming Zou, Shi Cao und Guo Feng. „Cognitive Abilities Predict Safety Performance: A Study Examining High-Speed Railway Dispatchers“. Journal of Advanced Transportation 2021 (05.06.2021): 1–10. http://dx.doi.org/10.1155/2021/5538320.
Der volle Inhalt der QuelleTimany, Amin, Armaël Guéneau und Lars Birkedal. „The Logical Essence of Well-Bracketed Control Flow“. Proceedings of the ACM on Programming Languages 8, POPL (05.01.2024): 575–603. http://dx.doi.org/10.1145/3632862.
Der volle Inhalt der QuelleGrodin, Harrison, Yue Niu, Jonathan Sterling und Robert Harper. „Decalf: A Directed, Effectful Cost-Aware Logical Framework“. Proceedings of the ACM on Programming Languages 8, POPL (05.01.2024): 273–301. http://dx.doi.org/10.1145/3632852.
Der volle Inhalt der QuelleWeber, Hendrik, Julian Bock, Jens Klimke, Christian Roesener, Johannes Hiller, Robert Krajewski, Adrian Zlocki und Lutz Eckstein. „A framework for definition of logical scenarios for safety assurance of automated driving“. Traffic Injury Prevention 20, sup1 (12.06.2019): S65—S70. http://dx.doi.org/10.1080/15389588.2019.1630827.
Der volle Inhalt der QuelleGeorges, Aïna Linn, Alix Trieu und Lars Birkedal. „Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities“. Proceedings of the ACM on Programming Languages 6, OOPSLA1 (08.12.2022): 1–30. http://dx.doi.org/10.1145/3527318.
Der volle Inhalt der QuellePerez-Cruet, Mick J., Dino Samartzis und Richard G. Fessler. „Anterior Cervical Discectomy and Corpectomy“. Operative Neurosurgery 58, suppl_4 (01.04.2006): ONS—355—ONS—359. http://dx.doi.org/10.1227/01.neu.0000205285.20336.c2.
Der volle Inhalt der QuelleGopal, T. V. „Logical Foundations for Reasoning in Cyber - Physical Systems“. Oriental journal of computer science and technology 16, Nr. 01 (30.05.2023): 01–11. http://dx.doi.org/10.13005/ojcst16.01.01.
Der volle Inhalt der QuelleGrau, Bernardo Cuenca, und Egor V. Kostylev. „Logical Foundations of Linked Data Anonymisation“. Journal of Artificial Intelligence Research 64 (16.02.2019): 253–314. http://dx.doi.org/10.1613/jair.1.11355.
Der volle Inhalt der QuelleChumachenko, Serhii, Yevhen Morshch, Kostyantin Lysychenko, Andrii Pruskyi und Roman Shevchenko. „Structural and logical model of the mechanism for regulating technogenic safety in emergency situations of military-technogenic origin“. Legal, regulatory and metrological support of information security system in Ukraine, Nr. 2(38) (21.07.2021): 52–66. http://dx.doi.org/10.20535/2074-9481.2(38).2019.234200.
Der volle Inhalt der QuelleEl Koursi, E. „Évaluation des logiciels critiques: application à la méthode BAssessment of safety critical software: Application of method B“. Recherche - Transports - Sécurité 58 (März 1998): 21–36. http://dx.doi.org/10.1016/s0761-8980(98)80018-6.
Der volle Inhalt der Quelle