Search Results for System theory.

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Yazar

Kochs, Hans-Dieter. author.

https://doi.org/10.1007/978-3-319-64991-7

Format:

Electronic Resources

Alıntı:

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

Yazar

Kunkel, Julian M. editor.

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

Format:

Electronic Resources

Alıntı:

System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / O'Regan, Gerard

Privately and Publicly Verifiable Computing Techniques A Survey

Yazar

Demirel, Denise. author.

https://doi.org/10.1007/978-3-319-53798-6

Format:

Electronic Resources

Alıntı:

Data Structures and Information Theory. http://scigraph.springernature.com/things/product-market

Trusted Computing and Information Security 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings

Yazar

Xu, Ming. editor.

https://doi.org/10.1007/978-981-10-7080-8

Format:

Electronic Resources

Alıntı:

Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

Yazar

Mishra, Anurag. editor.

https://doi.org/10.1007/978-981-10-7656-5

Format:

Electronic Resources

Alıntı:

Advances in Intelligent Systems and Computing,

	{displayName}	{count}
{error}