Search Results for Computer security.

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar

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

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

Format:

Electronic Resources

Alıntı:

Computer security.

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Yazar

Alvim, Mário S. editor.

https://doi.org/10.1007/978-3-030-31175-9

Format:

Electronic Resources

Alıntı:

Computer security.

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Yazar

Guttman, Joshua D. editor.

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

Format:

Electronic Resources

Alıntı:

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Yazar

Collart-Dutilleul, Simon. editor.

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

Format:

Electronic Resources

Alıntı:

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Yazar

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

https://doi.org/10.1007/978-3-030-33636-3

Format:

Electronic Resources

Alıntı:

Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Yazar

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

https://doi.org/10.1007/978-3-030-17601-3

Format:

Electronic Resources

Alıntı:

Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Yazar

Fontaine, Pascal. editor.

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

Format:

Electronic Resources

Alıntı:

Computer system failures.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25543-5

Format:

Electronic Resources

Alıntı:

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July

	{displayName}	{count}
{error}