Search Results for Engineering design.

28 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Yazar

Bodden, Eric. editor.

https://doi.org/10.1007/978-3-319-62105-0

Format:

Electronic Resources

Alıntı:

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany

Aspect-Oriented Security Hardening of UML Design Models

Yazar

Mouheb, Djedjiga. author.

http://dx.doi.org/10.1007/978-3-319-16106-8

Format:

Electronic Resources

Alıntı:

Aspect-Oriented Security Hardening of UML Design Models Mouheb, Djedjiga. author.

Socio-technical Design of Ubiquitous Computing Systems

Yazar

David, Klaus. editor.

http://dx.doi.org/10.1007/978-3-319-05044-7

Format:

Electronic Resources

Alıntı:

Socio-technical Design of Ubiquitous Computing Systems David, Klaus. editor.

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ı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Designing Usable and Secure Software with IRIS and CAIRIS

Yazar

Faily, Shamal. author.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Advanced Information Systems Engineering Workshops CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings

Yazar

Krogstie, John. editor.

http://dx.doi.org/10.1007/978-3-319-39564-7

Format:

Electronic Resources

Alıntı:

Advanced Information Systems Engineering Workshops CAiSE 2016 International Workshops, Ljubljana

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

Yazar

Bauer, Thomas. editor.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

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

Yazar

Dubois, Catherine. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

Yazar

Fan, Junfeng. editor.

https://doi.org/10.1007/978-3-319-89641-0

Format:

Electronic Resources

Alıntı:

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018

10.

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

Yazar

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683

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

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

11.

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

Yazar

Lahiri, Shuvendu K. editor.

https://doi.org/10.1007/978-3-030-01090-4

Format:

Electronic Resources

Alıntı:

Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029

12.

Handbook of Software Engineering

Yazar

Cha, Sungdeok. editor.

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

Format:

Electronic Resources

Alıntı:

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

	{displayName}	{count}
{error}