搜索页_+Safety+verification

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(1)	SpringerLink电子期刊(1284)	GSW全文库(2)
Wiley电子期刊(11)	ProQuest学位论文(72)	Elsevier电子期刊(869)
Springer电子图书(10)	NATURE电子期刊(4)	ACS电子期刊(8)

在“Elsevier电子期刊”中，命中：869条，耗时：0.0199882 秒

在所有数据库中总计命中：2,261条

1.Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification

作者：Qibo Yang ; Jin Tian ; ^{tianjin@buaa.edu.cn} ; Tingdi Zhao

关键词：Functional Resonance Analysis Method (FRAM) ; System safety ; Air Traffic Management ; Formal verification ; Socio-technical system

刊名：Safety Science

出版年：2017

2.A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface

作者：Kristian Beckers^a ; ^{beckersk@in.tum.de} ; Isabelle Cô ; té ; ^b ; ^{i.cote@itesys.de} ; Thomas Frese^c ; ^{tfrese@ford.com} ; Denis Hatebur^b ; ^d ; ^{d.hatebur@itesys.de} ; Maritta Heisel^d ; ^{maritta.heisel@uni-due.de}

关键词：ISO 26262 ; Automotive ; Hazard analysis ; Risk assessment ; Safety goal ; Safety ; Functional ; Technical ; Requirement ; UML ; Validation and verification

刊名：Reliability Engineering & System Safety

出版年：2017

3.Formal modelling and verification of interlocking systems featuring sequential release

作者：Linh Hong Vu^a ; ¹ ; ^lvho@dtu.dk ; Anne E. Haxthausen^a ; ¹ ; ^aeha@dtu.dk ; Jan Peleska^b ; ² ; ^{jp@cs.uni-bremen.de}

关键词：Railway interlocking systems ; Sequential release ; Formal verification ; Bounded model checking ; k-Induction

刊名：Science of Computer Programming

出版年：2017

4.Cleaning verification: Exploring the effect of the cleanliness of stainless steel surface on sample recovery

作者：Imad A. Haidar Ahmad ; James Tam ; Xue Li ; William Duffield ; Thomas Tarara ; Andrei Blasko ; ^{andrei.blasko@novartis.com}

关键词：Cleaning method development ; Cleaning verification ; Coupons ; RPLC ; HPLC ; TOC

刊名：Journal of Pharmaceutical and Biomedical Analysis

出版年：2017

5.Model checking of linear-time properties in multi-valued systems

作者：Yongming Li ; ^a ; ^{liyongm@snnu.edu.cn" class="auth_mail" title="E-mail the corresponding author} ; Manfred Droste^b ; ^{droste@informatik.uni-leipzig.de" class="auth_mail" title="E-mail the corresponding author} ; Lihui Lei^a ; ^{leilihui@snnu.edu.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Model checking ; Multi-valued transition system ; Invariant ; Safety ; Liveness ; Lattice-valued finite automaton

刊名：Information Sciences

出版年：2017

6.Barrier certificates revisited

作者：Liyun Dai^a ; ^{dailiyun@pku.edu.cn} ; Ting Gan^a ; ^{gant@pku.edu.cn} ; Bican Xia^a ; ^{xbc@math.pku.edu.cn} ; Naijun Zhan^b ; ^{znj@ios.ac.cn}

关键词：Hybrid system ; Barrier certificate ; Formal verification ; Invariant ; Nonlinear system ; Semi-definite programming ; Sum of squares

刊名：Journal of Symbolic Computation

出版年：2017

7.Implementing speed and separation monitoring in collaborative robot workcells

作者：Jeremy A. Marvel ; ^{jeremy.marvel@nist.gov} ; Rick Norcross

关键词：Robot safety ; Speed and separation monitoring

刊名：Robotics and Computer-Integrated Manufacturing

出版年：2017

8.Estimation Method of Nonresident Vehicle Fleet Inflow Influencing Road Traffic Safety in Megalopolis

作者：Mikhail Malinovsky^a ; ^{ntbmadi@gmail.com} ; Alexey Solntsev^a ; ^{solntsev@madi.ru} ; Anastasia Juravleva^b ; Slavomir Makovski^c

关键词：Megalopolis ; rush-hour traffic jams ; vehicle fleet inflow ; traffic modeling ; registration of automotive vehicles.

刊名：Transportation Research Procedia

出版年：2017

9.Lost in abstraction: Monotonicity in multi-threaded programs

作者：Alexander Kaiser^a ; Daniel Kroening^a ; Thomas Wahl^b ;

关键词：Multi-threaded software ; Parameterized verification ; Monotonicity ; Predicate abstraction

刊名：Information and Computation

出版年：2017

10.Monitoring-based safety verification at the Ultimate Limit State of fracture of the RC slab of a short span railway underpass

作者：Vasileios Grigoriou ; ^{vasileios.grigoriou@epfl.ch" class="auth_mail" title="E-mail the corresponding author} ; Eugen Brü ; hwiler

关键词：Structural response monitoring ; Safety verification ; Railway infrastructure ; Action incident effect ; Semiprobabilistic method ; RC slabs

刊名：Structural Safety

出版年：2016

按检索点细分(869)

题名(79)

关键词(83)

文摘(617)

按出版年细分(869)

2027年及以后(37)

2017年(11)

2016年(66)

2015年(27)

2014年(4)

2013年(79)

2012年(71)

2011年(76)

2010年(44)

2009年(55)

2008年(45)

2007年(40)

2006年(30)

2005年(39)

2004年(26)

2003年(30)

2002年(23)

2001年(31)

2000年(25)

2000年及以前(110)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700