Search Results for Safety.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(117)

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

(10)

Anderson, Tom. editor.

(8)

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

(5)

Artho, Cyrille. editor.

(4)

Dale, Chris. editor.

(4)

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

(4)

Krömker, Heidi. editor.

(4)

Messnarz, Richard. editor. (orcid)0000-0002-0555-3160

(4)

O'Connor, Rory V. editor.

(4)

Redmill, Felix. editor.

(4)

Schoitsch, Erwin. editor.

(4)

Skavhaug, Amund. editor.

(4)

Guiochet, Jérémie. editor.

(3)

Lecomte, Thierry. editor.

(3)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(3)

Petit, Franck. editor.

(3)

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

(3)

Stålhane, Tor. author.

(3)

Ölveczky, Peter Csaba. editor.

(3)

Bondavalli, Andrea. editor.

(2)

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

(2)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(2)

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

(2)

Chaouchi, Hakima. editor.

(2)

Clarke, Paul. editor. (orcid)0000-0002-4487-627X

(2)

Daniel, Peter. editor.

(2)

Dorling, Alec. editor.

(2)

Greiner, Christian. editor. (orcid)0000-0002-8184-7128

(2)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(2)

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

(2)

Masuzawa, Toshimitsu. editor.

(2)

Myklebust, Thor. author.

(2)

Ortmeier, Frank. editor.

(2)

Peisl, Thomas. editor. (orcid)0000-0001-5571-2089

(2)

Pham, Hoang. author.

(2)

Riel, Andreas. editor. (orcid)0000-0001-9859-019X

(2)

Rout, Terry. editor.

(2)

Tonetta, Stefano. editor.

(2)

Trapp, Mario. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224

(2)

Zhang, Zili. editor.

(2)

Ahuja, Ravindra K. editor.

(1)

Althoff, Matthias. editor. (orcid)0000-0003-3733-842X

(1)

Arceri, Vincenzo. editor.

(1)

Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177

(1)

Avritzer, Alberto. editor.

(1)

Bader, Markus. editor.

(1)

Badler, Norman I. author.

(1)

Badra, Mohamad. editor.

(1)

Bang, Magnus. editor.

(1)

Barrett, Clark. editor.

(1)

Baumeister, Hubert. editor.

(1)

Bender, Klaus. editor.

(1)

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

(1)

Bernhaupt, Regina. editor.

(1)

Bihina Bella, Madeleine. author.

(1)

Bitsch, Friedemann. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogdan, Cristian. editor.

(1)

Bologna, Sandro. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

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

(1)

Breckenfelder, Christof. author.

(1)

Broy, Manfred. editor.

(1)

Burger, Christoph. editor.

(1)

Buth, Bettina. editor.

(1)

Bye, Andreas. editor.

(1)

Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126

(1)

Capolsini, Patrick. editor.

(1)

Cassol, Vinícius J. author.

(1)

Ceccarelli, Andrea. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Clarke, Edmund M. editor.

(1)

Clarke, Paul M. editor. (orcid)0000-0002-4487-627X

(1)

Cobb, Jorge. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Cortesi, Agostino. editor.

(1)

Daembkes, Heinrich. editor.

(1)

Dahll, Gustav. editor.

(1)

Datta, Ajoy K. editor.

(1)

Davies, Misty. editor.

(1)

Deml, Barbara. editor.

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(1)

Dolev, Shlomi. editor.

(1)

Duffy, Vincent G. editor.

(1)

Défago, Xavier. editor.

(1)

Eckstein, Lutz. editor.

(1)

Eloff, Jan. author.

(1)

Elovici, Yuval. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Fantechi, Alessandro. editor.

(1)

Fazio, Maria. editor. (orcid)0000-0003-3574-1848

(1)

Felber, Pascal. editor.

(1)

Ferrara, Pietro. editor.

(1)

Filipović, Nenad. editor. (orcid)0000-0001-9964-5615

(1)

Fischer, Lukas. editor.

(1)

Fischer, Michael. editor.

(1)

Flammini, Francesco. editor.

(1)

Flemisch, Frank. editor.

(1)

Forbrig, Peter. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Gabillon, Alban. editor.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Garg, Vijay. editor.

(1)

Gashi, Ilir. editor.

(1)

Gheorghe, Adrian V. author.

(1)

Giordano, Stefano. editor.

(1)

Glock, Anna-Christina. editor.

(1)

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

(1)

Gradinariu, Maria. editor.

(1)

Gran, Bjørn Axel. editor.

(1)

Guerraoui, Rachid. editor.

(1)

Gulliksen, Jan. editor.

(1)

Gupta, A. author.

(1)

Górski, Janusz. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hahn, Axel. author.

(1)

Hamid, Brahim. editor.

(1)

Hanssen, Geir Kjetil. author.

(1)

Harrison, Michael D. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Herdt, Vladimir. author.

(1)

Hess, Anne. editor. (orcid)0000-0001-7614-5802

(1)

Higashino, Teruo. editor.

(1)

Hobbs, Chris (Christopher W.)

(1)

Huhn, Michaela. editor.

(1)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(1)

Häusler, Stefan. author.

(1)

Hönninger, Harald. editor.

(1)

Izumi, Taisuke. editor.

(1)

Jemili, Imen. editor. (orcid)0000-0002-3701-1251

(1)

Jeppu, Yogananda. editor.

(1)

Jha, P.C. author.

(1)

Johnson, Chris. editor.

(1)

Jung, Cláudio R. author.

(1)

Kahsai, Temesghen. editor.

(1)

Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X

(1)

Kapur, P.K. author.

(1)

Katayama, Yoshiaki. editor.

(1)

Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154

(1)

Katina, Polinpapilinho F. author.

(1)

Katsaros, Panagiotis. editor.

(1)

Kaâniche, Mohamed. editor.

(1)

Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

(1)

Kis, Filip. editor.

(1)

Kofroň, Jan. editor.

(1)

Kreiner, Christian. editor.

(1)

Kulkarni, Sandeep. editor.

(1)

Kuznetsov, Petr. editor.

(1)

Li, Yan-Fu. author.

(1)

Lichter, Horst. editor.

(1)

Liu, Yu. author.

(1)

Luftensteiner, Sabrina. editor.

(1)

Mabrouk, Sabra. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Mandler, Benny. editor.

(1)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(1)

Marquez-Barja, Johann. editor.

(1)

Mas, Antonia. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393

(1)

Mayr, Michael. editor.

(1)

Mendiboure, Leo. editor.

(1)

Mesquida, Antoni. editor.

(1)

Mitre Campista, Miguel Elias. editor.

(1)

Mitton, Nathalie. editor.

(1)

Moran, Alan. author.

(1)

Mosbah, Mohamed. editor.

(1)

Moser, Bernhard. editor.

(1)

Musse, Soraia R. author.

(1)

Myklebust, Thor. author. (orcid)0000-0002-9283-092X

(1)

Möhring, Rolf H. editor.

(1)

Nafz, Florian. editor. (orcid)0000-0001-5725-4827

(1)

Nakajima, Shin. editor.

(1)

Nakamura, Junya. editor. (orcid)0000-0002-1363-4358

(1)

Nanda, Manju. editor.

(1)

Noel, Thomas. editor.

(1)

O'Leary, T. R. author.

(1)

Olliaro, Martina. editor.

(1)

Oster, Norbert. editor.

(1)

Palanque, Philippe. editor.

(1)

Papadopoulos, Yiannis. editor.

(1)

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153

(1)

Peng, Rui. author.

(1)

Pinger, Ralf. editor.

(1)

Pohl, Klaus. editor.

(1)

Polikarpova, Nadia. editor.

(1)

Ponsar, Hella. editor. (orcid)0000-0001-6376-9683

(1)

Poth, Alexander. editor.

(1)

Potop-Butucaru, Maria. editor.

(1)

Rabe, Gerd. editor.

(1)

Ragnemalm, Eva L. editor.

(1)

Rauzy, Antoine. editor.

(1)

Richa, Andréa W. editor.

(1)

Riebisch, Matthias. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824

(1)

Language

(115)

(3)

Publication Date

-

(20)

(17)

(12)

(11)

(7)

(6)

(6)

(6)

(5)

(5)

(5)

(4)

(3)

(3)

(3)

(3)

(1)

(1)

Subject

Computer science.

(55)

Data protection.

(29)

Computer Communication Networks.

(28)

Application software.

(24)

Computer and Information Systems Applications.

(22)

Computer networks .

(19)

Artificial intelligence.

(18)

Compilers (Computer programs).

(15)

Compilers and Interpreters.

(15)

Computer Science Logic and Foundations of Programming.

(15)

(15)

Information Systems.

(13)

Computer software.

(12)

Data and Information Security.

(12)

Computer system performance.

(11)

(11)

Computer simulation.

(9)

Electronic data processing -- Management.

(9)

Human-computer interaction.

(9)

(9)

Theory of Computation.

(9)

User Interfaces and Human Computer Interaction.

(9)

User interfaces (Computer systems).

(9)

(8)

Computer Engineering and Networks.

(8)

Computer engineering.

(8)

(8)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Operating systems (Computers).

(8)

Special Purpose and Application-Based Systems.

(8)

Computer Modelling.

(7)

Computers, Special purpose.

(7)

Electronic digital computers -- Evaluation.

(7)

(7)

Microprogramming .

(7)

(7)

System Performance and Evaluation.

(7)

Computer logic.

(6)

Computer security.

(6)

Control Structures and Microprogramming.

(5)

Information theory.

(5)

(5)

The Computing Profession.

(5)

Automotive engineering.

(4)

Business information services.

(4)

(4)

Computer Application in Administrative Data Processing.

(4)

Computer organization.

(4)

Computer programming.

(4)

Data Structures and Information Theory.

(4)

Data structures (Computer science).

(4)

Electronic commerce.

(4)

IT in Business.

(4)

Information technology -- Management.

(4)

Programming Techniques.

(4)

e-Commerce and e-Business.

(4)

Computer System Implementation.

(3)

Computer systems.

(3)

Computer vision.

(3)

Management information systems.

(3)

Mathematical logic.

(3)

Operating Systems.

(3)

Programming languages (Electronic computers).

(3)

Algorithm Analysis and Problem Complexity.

(2)

(2)

Computer communication systems.

(2)

Computer network architectures.

(2)

Data encryption (Computer science).

(2)

Information systems.

(2)

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Systems and Data Security.

(2)

Telecommunication.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Automatic control -- Reliability.

(1)

Bioinformatics.

(1)

Chemical Safety.

(1)

Chemicals -- Safety measures.

(1)

(1)

Communications Engineering, Networks.

(1)

Computational and Systems Biology.

(1)

Computational intelligence.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Hardware.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer aided design.

(1)

Computer hardware.

(1)

Computer networks -- Security measures.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Development.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

(1)

(1)

Data Engineering.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Database management.

(1)

Education -- Data processing.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Embedded computer systems.

(1)

Engineering -- Data processing.

(1)

Engineering economy.

(1)

Environmental Physics.

(1)

Environmental sciences.

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

IT Risk Management.

(1)

Image processing -- Digital techniques.

(1)

Industrial safety.

(1)

Information Systems Applications (incl. Internet).

(1)

Internet of things.

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical.

(1)

Logics and Meanings of Programs.

(1)

Machine learning.

(1)

Management of Computing and Information Systems.

(1)

Mathematical optimization.

(1)

Mathematics of Computing.

(1)

Medical informatics.

(1)

Medical records -- Data processing.

(1)

Microprogramming.

(1)

Mobile and Network Security.

(1)

Models of Computation.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Nuclear engineering.

(1)

Optical data processing.

(1)

Programming Language.

(1)

Project management.

(1)

Quality Control, Reliability, Safety and Risk.

(1)

Quality control.

(1)

Risk management.

(1)

Robotic Engineering.

(1)

Security Services.

(1)

Social sciences -- Data processing.

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Special purpose computers.

(1)

(1)

(1)

Systems engineering.

(1)

Traffic Engineering.

(1)

Traffic engineering.

(1)

Transportation Technology and Traffic Engineering.

(1)

Transportation engineering.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

118 Results Found

Subscribe to search results

1 2 3 4 5 .. 10

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.

13.

Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Author

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Author

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99229-7

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Author

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99130-6

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Author

Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03232-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Formal Methods for Safety and Security Case Studies for Aerospace Applications

Formal Methods for Safety and Security Case Studies for Aerospace Applications

Formal Methods for Safety and Security Case Studies for Aerospace Applications

Author

Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-4121-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66284-8

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Interoperability, Safety and Security in IoT Second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised Selected Papers

Interoperability, Safety and Security in IoT Second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised Selected Papers

Interoperability, Safety and Security in IoT Second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016, Revised Selected Papers

Author

Mitton, Nathalie. editor. Chaouchi, Hakima. editor. Noel, Thomas. editor. Watteyne, Thomas. editor. Gabillon, Alban. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52727-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Author

Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11