首页> 外文OA文献 >ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals

【2h】

ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals

机译：ChemStor：使用正式方法保证化学品安全储存和处理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 -1
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals [J] . Ott Jason, Tan Daniel, Loveless Tyson, Journal of chemical information and modeling . 2020,第7期

机译：ChemStor：使用正式方法保证化学品安全储存和处理
2. Methods for the safe storage; handling; and disposal of pyrophoric liquids and solids in the laboratory [J] . Mikhail Alnajjar, David Quig-ley, Murty Kuntamukkula, Chemical Health & Safety . 2011,第1期

机译：安全存放方法；处理实验室中发火液体和固体的处理和处置
3. Efficiency evaluation of treatment methods adopted for safe disposal of rinse water generated from electrochemical processes [J] . Khattak B. Q., Sharma Sunil Kumar, Singh Budh Pal, Desalination and water treatment . 2016,第55期

机译：采用电化学过程中冲洗水安全处理的治疗方法的效率评估
4. METHODOLOGY OF A CHEMICAL SAFETY ASSESSMENT OF RADIOACTIVEWASTE DISPOSAL WITH AN EXAMPLE PRESENTED FOR THE CENTRE DE L'AUBELOW LEVEL RADIOACTIVE WASTE (LLW) REPOSITORY [C] . Marie -Odile Gallerand 2001 conference of Waste Management (WM);Annual Waste Management Symposium . 2001

机译：放射性废物处置的化学安全性评估的方法学，并为中心的DE L'AUBELOW级放射性废物（LLW）处置场提供了一个示例
5. Proliferation resistance assessment of various methods of spent nuclear fuel storage and disposal [D] . Kollar, Lenka. 2012

机译：各种乏核燃料储存和处置方法的抗扩散性评估
6. Safe Opioid Storage and Disposal: A Survey of Patient Beliefs and Practices [O] . Razmic Gregorian, Elizabeth Marrett, Vivek Sivathanu, 2020

机译：阿片类药物的安全储存和处置：患者信念和实践调查
7. Safe storage and disposal of hazardous materials and chemicals: Departmental non-statutory guidance for school leaders, governing bodies, academy trusts and local authorities [O] . 2017

机译：安全存储和处置有害物质和化学药品：针对学校领导，理事机构，学院信托和地方当局的部门非法定指导

ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals

著录项

引文网络

相似文献

相关主题

期刊订阅