Search Results for - Narrowed by: Logic design. - Systems and Data Security.

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-05-27T05:52:49Z

by Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-05-27T05:52:49Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-05-27T05:52:49Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources

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

2024-05-27T05:52:49Z

by Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99130-6
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-05-27T05:52:49Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-05-27T05:52:49Z

by Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93713-7
Format: Electronic Resources

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

2024-05-27T05:52:49Z

by Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-030-01141-3
Format: Electronic Resources

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

2024-05-27T05:52:49Z

by Chen, Liqun. editor. (orcid)0000-0003-2680-4907
https://doi.org/10.1007/978-3-319-99136-8
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2024-05-27T05:52:49Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-05-27T05:52:49Z

by Lecomte, Thierry. editor.
https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-05-27T05:52:49Z

by Mauw, Sjouke. editor.
https://doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2024-05-27T05:52:49Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: Electronic Resources

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2024-05-27T05:52:49Z

by Harrison, Michael D. editor.
http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Electronic Resources

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2024-05-27T05:52:49Z

by Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Electronic Resources

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2024-05-27T05:52:49Z

by Montanari, Ugo. editor.
http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Electronic Resources

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-05-27T05:52:49Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: Electronic Resources

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-05-27T05:52:49Z

by Okada, Mitsu. editor.
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources