Search Results for Systems engineering.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Understanding Network Hacks Attack and Defense with Python

Yazar

Ballmann, Bastian. author.

http://dx.doi.org/10.1007/978-3-662-44437-5

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Yazar

Dang, Tran Khanh. editor.

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

Format:

Electronic Resources

Alıntı:

Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060

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

Yazar

Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899

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

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Yazar

Lahiri, Shuvendu. editor.

https://doi.org/10.1007/978-3-319-67531-2

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Rensink, Arend. editor. (orcid)0000-0002-1714-6319

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

Format:

Electronic Resources

Alıntı:

Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

Yazar

Piattini, Mario. editor. (orcid)0000-0002-7212-8279

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

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Yazar

Baier, Christel. editor.

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

Format:

Electronic Resources

Alıntı:

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author.

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

Format:

Electronic Resources

Alıntı:

Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Yazar

Cremers, Cas. editor. (orcid)0000-0003-0322-2293

https://doi.org/10.1007/978-3-030-04762-7