Search Results for Control.

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.

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings için kapak resmi

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

Yazar

Desmedt, Yvo. editor.

http://dx.doi.org/10.1007/978-3-319-27659-5

Format:

Electronic Resources

Alıntı:

authentication; usability & risk perception; access control; computer security; privacy attacks; cryptography.

2.

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings için kapak resmi

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

Yazar

Yahav, Eran. editor.

http://dx.doi.org/10.1007/978-3-319-13338-6

Format:

Electronic Resources

Alıntı:

Control of Discrete-Event Systems via IC3 -- Partial-Order Reduction for Multi-core LTL Model Checking

3.

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers için kapak resmi

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

Yazar

Combemale, Benoit. editor.

http://dx.doi.org/10.1007/978-3-319-26172-0

Format:

Electronic Resources

Alıntı:

providing support for imposing control over development artifacts produced by multiple teams. DSMLs can be

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