Artykuły w czasopismach na temat „Safety logiciel”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Safety logiciel”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
PENNEROUX, J. "Lancement d'un logiciel de formation à la radioprotection". Radioprotection 29, nr 3 (lipiec 1994): 405–6. http://dx.doi.org/10.1051/radiopro/1994012.
Pełny tekst źródłaPIPAUD, J. Y. "RADIOR, un logiciel d'initiation à l'optimisation de la radioprotection". Radioprotection 30, nr 1 (styczeń 1995): 103–4. http://dx.doi.org/10.1051/radiopro/1995019.
Pełny tekst źródłaRenaud, Ph, H. Maubert, D. Robeau, I. Linge, O. Pavlovsky i I. Ossipiants. "PARIS : un logiciel de simulation d'états radioécologiques post-accidentels". Radioprotection 32, nr 4 (październik 1997): 521–32. http://dx.doi.org/10.1051/radiopro:1997116.
Pełny tekst źródłaBourgois, L., i H. Lelache. "TransporaD version 2.0 un logiciel sur la réglementation des transports de matières radioactives". Radioprotection 33, nr 2 (kwiecień 1998): 189–91. http://dx.doi.org/10.1051/radiopro:1998105.
Pełny tekst źródłaMaubert, Henri, Philippe Renaud, Jean-Christophe Bernié, Guillaume de Drouas, Philippe Fache i 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 (lipiec 1997): 357–69. http://dx.doi.org/10.1051/radiopro:1997112.
Pełny tekst źródłaJARVIS, N. S., i A. BIRCHALL. "LUDEP 1.0, un logiciel pour ordinateur personnel qui applique le nouveau modèle pulmonaire de la CIPR". Radioprotection 29, nr 1 (styczeń 1994): 81–86. http://dx.doi.org/10.1051/radiopro/1994023.
Pełny tekst źródłaEgan, Rylan, Jessica Baumhour, Monica Mullin, Amelia Wilkinson, Sara Awad, Johanna Murphy, Nancy Dalgarno, Angela Coderre-Ball i 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.
Pełny tekst źródłaGROUZELLE, C., F. LAYLAVOIX F., M. F. BAUDOT i 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 (styczeń 1995): 79–88. http://dx.doi.org/10.1051/radiopro/1995024.
Pełny tekst źródłaDegrange, J. P., F. P. Levy i 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 (październik 2001): 537–46. http://dx.doi.org/10.1051/radiopro:2001107.
Pełny tekst źródłaLamart, S., L. De Carlan, E. Blanchardon i 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 (kwiecień 2008): 213–23. http://dx.doi.org/10.1051/radiopro:2007055.
Pełny tekst źródłaPichard, Romain, Alexandre Philippot, Ramla Saddem i Bernard Riera. "Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter". IEEE Transactions on Control Systems Technology 27, nr 4 (lipiec 2019): 1659–67. http://dx.doi.org/10.1109/tcst.2018.2827329.
Pełny tekst źródłaCornelissen, Pieter A., Mark Van Vuuren i Joris J. Van Hoof. "How logical is safety? An institutional logics perspective on safety at work". Work 66, nr 1 (4.06.2020): 135–47. http://dx.doi.org/10.3233/wor-203158.
Pełny tekst źródłaRakotoarivelo, ZH, EE Batavisoaniatsy, FI Rakotonindrina, RS Rakotomalala, AT Rabenandrianina, AAO Rakoto i 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.
Pełny tekst źródłaFUTSUHARA, Koichi, i 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.
Pełny tekst źródłaRanger, T., A. Philippot i 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.
Pełny tekst źródłaRyabinin, Igor A., i 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.
Pełny tekst źródłaRyabinin, Igor A., i 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.
Pełny tekst źródłaYang, Yang, Qing Xia i Yu Zhang. "Entropy Model For Safety Culture and Safety Performance". Advances in Computer and Engineering Technology Research 1, nr 1 (5.12.2023): 96. http://dx.doi.org/10.61935/acetr.1.1.2023.p96.
Pełny tekst źródłaVentrone, T. A. "A logical progression". Process Safety Progress 12, nr 1 (styczeń 1993): J3. http://dx.doi.org/10.1002/prs.680120102.
Pełny tekst źródłaKarasev, Vasily, i 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.
Pełny tekst źródłaKarasev, Vasily, i 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.
Pełny tekst źródłaLim, Ho-Gon, Dong-San Kim, Sang Hoon Han i Joon Eon Yang. "Development of logical structure for multi-unit probabilistic safety assessment". Nuclear Engineering and Technology 50, nr 8 (grudzień 2018): 1210–16. http://dx.doi.org/10.1016/j.net.2018.10.012.
Pełny tekst źródłaTchórzewska-Cieślak, Barbara, Katarzyna Pietrucha-Urbanik, Janusz Rak, Dorota Papciak, Petr Hlavínek i Krzysztof Chmielowski. "A Safety Assessment for Consumers of Water Using Logical Trees". Applied Sciences 12, nr 21 (7.11.2022): 11276. http://dx.doi.org/10.3390/app122111276.
Pełny tekst źródłaПлуготаренко, Н., N. Plutogarenko, А. Долгополова i 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.
Pełny tekst źródłaNiu, Yue, Jonathan Sterling, Harrison Grodin i 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.
Pełny tekst źródłaLi, Huan, i You Shi Zheng. "Study on the logical relationship between system safety and PMMEL project". Journal of Physics: Conference Series 2252, nr 1 (1.04.2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.
Pełny tekst źródłaLi, Huan, i You Shi Zheng. "Study on the logical relationship between system safety and PMMEL project". Journal of Physics: Conference Series 2252, nr 1 (1.04.2022): 012066. http://dx.doi.org/10.1088/1742-6596/2252/1/012066.
Pełny tekst źródłaLi Wei, Li Wei, i Bing-Wu Fang Li Wei. "Safety Analysis Method of Mixed Failure Model using Temporal Bayesian Network". 網際網路技術學刊 23, nr 4 (lipiec 2022): 727–34. http://dx.doi.org/10.53106/160792642022072304008.
Pełny tekst źródłaSugimoto, Noboru, Koichi Futsuhara i 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.
Pełny tekst źródłaLi, Zhao Hui, i Yan Chen. "Use Management System to Improve Highway Safety". Advanced Materials Research 268-270 (lipiec 2011): 1524–27. http://dx.doi.org/10.4028/www.scientific.net/amr.268-270.1524.
Pełny tekst źródłaDźwiarek, Marek. "Design of logical devices that perform guard interlocking and locking function". Mechanik 92, nr 7 (8.07.2019): 474–76. http://dx.doi.org/10.17814/mechanik.2019.7.61.
Pełny tekst źródłaSineshchuk, Yury Ivanovich, Alexandr Gennadyevich Philippov, Sergey Nikolaevich Terehin, Denis Valerjevich Nikolaev i 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.
Pełny tekst źródłaBackhouse, Kevin, i Roland Backhouse. "Safety of abstract interpretations for free, via logical relations and Galois connections". Science of Computer Programming 51, nr 1-2 (maj 2004): 153–96. http://dx.doi.org/10.1016/j.scico.2003.06.002.
Pełny tekst źródłaNeal, Jack A., i Mary Dawson. "Outbreak at Mulligan Oaks: A Logical Approach to Discovering Food Safety Attributes". Journal of Hospitality & Tourism Cases 3, nr 3 (listopad 2014): 16–20. http://dx.doi.org/10.1177/216499871400300303.
Pełny tekst źródłaOr, Liran Bar, Shai Arogeti i 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.
Pełny tekst źródłaLiu, Yiyun, i 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.
Pełny tekst źródłaChu, Jiayun, Xiaohong Bao, Tingdi Zhao i 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.
Pełny tekst źródłaFaella, Marco, i 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.
Pełny tekst źródłaLOKE, SENG WAI, i ANDREW DAVISON. "Secure Prolog-based mobile code". Theory and Practice of Logic Programming 1, nr 3 (maj 2001): 321–57. http://dx.doi.org/10.1017/s1471068401001211.
Pełny tekst źródłaViatkina, 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.
Pełny tekst źródłaLei, Shi, Zizheng Guo, Xi Tan, Xi Chen, Chengen Li, Jiaming Zou, Shi Cao i Guo Feng. "Cognitive Abilities Predict Safety Performance: A Study Examining High-Speed Railway Dispatchers". Journal of Advanced Transportation 2021 (5.06.2021): 1–10. http://dx.doi.org/10.1155/2021/5538320.
Pełny tekst źródłaTimany, Amin, Armaël Guéneau i Lars Birkedal. "The Logical Essence of Well-Bracketed Control Flow". Proceedings of the ACM on Programming Languages 8, POPL (5.01.2024): 575–603. http://dx.doi.org/10.1145/3632862.
Pełny tekst źródłaGrodin, Harrison, Yue Niu, Jonathan Sterling i Robert Harper. "Decalf: A Directed, Effectful Cost-Aware Logical Framework". Proceedings of the ACM on Programming Languages 8, POPL (5.01.2024): 273–301. http://dx.doi.org/10.1145/3632852.
Pełny tekst źródłaWeber, Hendrik, Julian Bock, Jens Klimke, Christian Roesener, Johannes Hiller, Robert Krajewski, Adrian Zlocki i 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.
Pełny tekst źródłaGeorges, Aïna Linn, Alix Trieu i 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 (8.12.2022): 1–30. http://dx.doi.org/10.1145/3527318.
Pełny tekst źródłaPerez-Cruet, Mick J., Dino Samartzis i Richard G. Fessler. "Anterior Cervical Discectomy and Corpectomy". Operative Neurosurgery 58, suppl_4 (1.04.2006): ONS—355—ONS—359. http://dx.doi.org/10.1227/01.neu.0000205285.20336.c2.
Pełny tekst źródłaGopal, 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.
Pełny tekst źródłaGrau, Bernardo Cuenca, i 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.
Pełny tekst źródłaChumachenko, Serhii, Yevhen Morshch, Kostyantin Lysychenko, Andrii Pruskyi i 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.
Pełny tekst źródłaEl Koursi, E. "Évaluation des logiciels critiques: application à la méthode BAssessment of safety critical software: Application of method B". Recherche - Transports - Sécurité 58 (marzec 1998): 21–36. http://dx.doi.org/10.1016/s0761-8980(98)80018-6.
Pełny tekst źródła