Search Results for System safety.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(38)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(3)

Anderson, Tom. editor.

(2)

Redmill, Felix. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Ahram, Tareq. editor.

(1)

Ahuja, Ravindra K. editor.

(1)

Ajit, Srividya. author.

(1)

Arezes, Pedro. editor.

(1)

Avritzer, Alberto. editor.

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bloem, Roderick. editor.

(1)

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530

(1)

Boring, Ronald Laurids. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Breckenfelder, Christof. author.

(1)

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428

(1)

Clarke, Edmund M. editor.

(1)

Dohi, Tadashi. editor.

(1)

El Fallah Seghrouchni, Amal. author.

(1)

Erto, Pasquale. editor.

(1)

Fechtelkotter, Paul. editor.

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Ganguli, Anindya K. editor.

(1)

Gaycken, Sandro. editor.

(1)

Geretshuber, Stefan. editor.

(1)

Gheorghe, Adrian V. author.

(1)

Gizopoulos, Dimitris. editor.

(1)

Goonetilleke, Ravindra S. editor.

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Grant, Casey C. author.

(1)

Guiochet, Jérémie. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Holzmann, Frédéric. author.

(1)

Iqbal, Rauf. editor.

(1)

Isermann, Rolf. author.

(1)

Karwowski, Waldemar. editor.

(1)

Katina, Polinpapilinho F. author.

(1)

Khanzode, Vivek. editor.

(1)

Kletti, Jürgen. editor.

(1)

Krüger, Jörg. editor.

(1)

Kumar, Manoj. author.

(1)

Lecomte, Thierry. editor.

(1)

Legatt, Michael. editor.

(1)

Li, He. editor.

(1)

Liu, Yu. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lund, Mass Soldal. author.

(1)

Mi, Jinhua. editor.

(1)

Möhring, Rolf H. editor.

(1)

Nakagawa, Toshio. editor.

(1)

Nickolay, Bertram. editor.

(1)

Ottavi, Marco. editor.

(1)

Palanque, Philippe. editor.

(1)

Pinger, Ralf. editor.

(1)

Platzer, André. author.

(1)

Pontarelli, Salvatore. editor.

(1)

Potiron, Katia. author.

(1)

Pulfer, Roland. author.

(1)

Ray, Gaur G. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Saunders, Sam C. author.

(1)

Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443

(1)

Setola, Roberto. editor.

(1)

Shi, Nija. editor.

(1)

Skavhaug, Amund. editor.

(1)

Solhaug, Bjørnar. author.

(1)

Solozhentsev, E.D. author.

(1)

Stølen, Ketil. author.

(1)

Taillibert, Patrick. author.

(1)

Tonetta, Stefano. editor.

(1)

Trapp, Mario. editor.

(1)

Tryfonas, Theo. editor.

(1)

Vamanu, Dan V. author.

(1)

Vanderdonckt, Jean. editor.

(1)

Veith, Helmut. editor.

(1)

Verma, Ajit Kumar. author.

(1)

Vieira, Marco. editor.

(1)

Wagner, Stefan. author.

(1)

Wang, Dong. editor.

(1)

Winckler, Marco. editor.

(1)

Wolter, Katinka. editor.

(1)

Zaroliagis, Christos D. editor.

(1)

Zhang, Zili. editor.

(1)

van Moorsel, Aad. editor.

(1)

Language

(37)

(1)

Publication Date

-

(10)

(5)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Subject

(27)

Software engineering.

(14)

(12)

Computer system performance.

(6)

Artificial intelligence.

(5)

Computer networks .

(5)

Engineering design.

(5)

Operating systems (Computers).

(5)

Computer Science Logic and Foundations of Programming.

(4)

Computer engineering.

(4)

Data protection.

(4)

Quality Control, Reliability, Safety and Risk.

(4)

Application software.

(3)

Computer Communication Networks.

(3)

Computer Engineering and Networks.

(3)

Computer and Information Systems Applications.

(3)

Information Systems.

(3)

Theory of Computation.

(3)

Compilers (Computer programs).

(2)

Compilers and Interpreters.

(2)

Computer simulation.

(2)

Data and Information Security.

(2)

Formal Languages and Automata Theory.

(2)

Information theory.

(2)

Logic, Symbolic and mathematical.

(2)

Machine theory.

(2)

Management information systems.

(2)

Medicine, Industrial.

(2)

(2)

Applied psychology.

(1)

Artificial Intelligence (incl. Robotics).

(1)

(1)

Biomedical engineering.

(1)

Business logistics.

(1)

Business planning.

(1)

Civil engineering.

(1)

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Modelling.

(1)

Computer programming.

(1)

Computer software.

(1)

Computer vision.

(1)

Computers and Society.

(1)

(1)

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Distribution (Probability theory).

(1)

(1)

Electronic digital computers -- Evaluation.

(1)

(1)

Employee health promotion.

(1)

Engineering economy.

(1)

Engineering mathematics.

(1)

Geographical information systems.

(1)

Human physiology.

(1)

Image processing -- Digital techniques.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information systems.

(1)

Information technology -- Management.

(1)

Management of Computing and Information Systems.

(1)

Marine engineering.

(1)

Mathematical optimization.

(1)

Mathematical statistics.

(1)

Medical records -- Data processing.

(1)

Models of Computation.

(1)

Multimedia systems.

(1)

Operations research.

(1)

(1)

Philosophy of Technology.

(1)

Political Science, general.

(1)

Probability and Statistics in Computer Science.

(1)

Production engineering.

(1)

(1)

Programming Techniques.

(1)

Psychology, Experimental.

(1)

R & D/Technology Policy.

(1)

Security Services.

(1)

(1)

Social sciences -- Data processing.

(1)

Sports-Psychological aspects.

(1)

Sports-Sociological aspects.

(1)

Statistical physics.

(1)

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

(1)

System Performance and Evaluation.

(1)

Systems engineering.

(1)

Systems theory.

(1)

Technology -- Philosophy.

(1)

Telecommunication.

(1)

The Computing Profession.

(1)

Vehicle Engineering.

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

38 Results Found

Subscribe to search results

1 2 3 4

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Improvements in System Safety

Improvements in System Safety

Improvements in System Safety

Author

Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-100-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Adaptive Cooperation between Driver and Assistant System Improving Road Safety

Adaptive Cooperation between Driver and Assistant System Improving Road Safety

Adaptive Cooperation between Driver and Assistant System Improving Road Safety

Author

Holzmann, Frédéric. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74474-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

Author

Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b139109

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Author

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-68738-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Author

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-60698-4

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

Author

Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-28859-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015

Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015

Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015

Author

Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-4980-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Author

Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60825-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA

Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA

Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA

Author

Boring, Ronald Laurids. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60645-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Dependable Multicore Architectures at Nanoscale

Dependable Multicore Architectures at Nanoscale

Dependable Multicore Architectures at Nanoscale

Author

Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54422-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance

Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance

Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance

Author

Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69224-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physical Systems

Author

Platzer, André. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11