Search Results for Industrial safety.

244 sonuç bulundu

Tümünü Seç

1 .. 17 18 19 20 21

000000000000DEFAULTTR

217.

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-319-33693-0

Format:

Electronic Resources

Alıntı:

-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by

218.

Proceedings of 2013 World Agricultural Outlook Conference

Yazar

Xu, Shiwei. editor.

http://dx.doi.org/10.1007/978-3-642-54389-0

Format:

Electronic Resources

Alıntı:

Asparagus Industrial Global Competitiveness -- Industrial agglomeration in China’s agricultural product

219.

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Yazar

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

https://doi.org/10.1007/978-3-030-26601-1

Format:

Electronic Resources

Alıntı:

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku

220.

Social Robots: Technological, Societal and Ethical Aspects of Human-Robot Interaction

Yazar

Korn, Oliver. editor.

https://doi.org/10.1007/978-3-030-17107-0

Format:

Electronic Resources

Alıntı:

Communication -- Interacting With Collaborative Robots – A Study on Attitudes and Acceptance in Industrial

221.

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems

Yazar

Sayed-Mouchaweh, Moamar. editor.

https://doi.org/10.1007/978-3-319-74962-4

Format:

Electronic Resources

Alıntı:

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems Sayed-Mouchaweh

222.

Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers

Yazar

D'Agostino, Gregorio. editor. (orcid)0000-0003-3657-5335

https://doi.org/10.1007/978-3-319-99843-5

Format:

Electronic Resources

Alıntı:

Exploitation and Protection in Resource Constrained Automotive Systems -- Dealing with Functional Safety

223.

A World with Robots International Conference on Robot Ethics: ICRE 2015

Yazar

Aldinhas Ferreira, Maria Isabel. editor.

https://doi.org/10.1007/978-3-319-46667-5

Format:

Electronic Resources

Alıntı:

manufacturing systems -- 13 Clarifying the Language of Lethal Autonomy in Military Robots -- 14 Safety Issues of

224.

Automated Driving Safer and More Efficient Future Driving

Yazar

Watzenig, Daniel. editor.

https://doi.org/10.1007/978-3-319-31895-0

Format:

Electronic Resources

Alıntı:

functional safety in automated driving -- 15. Active safety towards highly automated driving -- 16

225.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-33600-8

Format:

Electronic Resources

Alıntı:

-- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The

226.

Ground Engineering - Principles and Practices for Underground Coal Mining

Yazar

Galvin, J.M. author.

http://dx.doi.org/10.1007/978-3-319-25005-2

Format:

Electronic Resources

Alıntı:

combination of industrial, research and academic experience in the mining industry that spans specialist

227.

Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings

Yazar

Papavassiliou, Symeon. editor.

http://dx.doi.org/10.1007/978-3-319-19662-6

Format:

Electronic Resources

Alıntı:

Communications, Networking and Computing Technologies for VANETs 2.0 Safety in Vehicular Networks—on the

228.

Human Behavior Understanding in Networked Sensing Theory and Applications of Networks of Sensors

Yazar

Spagnolo, Paolo. editor.

http://dx.doi.org/10.1007/978-3-319-10807-0

Format:

Electronic Resources

Alıntı:

, indexing and retrieval, patient care, industrial safety, social and ambient intelligence, and sports

Tümünü Seç

1 .. 17 18 19 20 21

244 sonuç bulundu

	{displayName}	{count}
{error}