Search Results for Tools.

3 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

000DEFAULTTR

Yazdır

1.

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings için kapak resmi

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Yazar

Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X

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

Format:

Electronic Resources

Alıntı:

on cyber-physical systems, software verification tools, safety-critical systems, concurrency and

2.

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II için kapak resmi

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

Yazar

Sako, Kazue. editor.

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

Format:

Electronic Resources

Alıntı:

: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement -- Enhancing

3.

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I için kapak resmi

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

Yazar

Sako, Kazue. editor.

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

Format:

Electronic Resources

Alıntı:

Harvesting Attack in Proof of Work mining pools -- A Lattice-Based Linkable Ring Signature Supporting Stealth

Tümünü Seç

1

3 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2