Search Results for Computer simulation.

Reliability Aspect of Cloud Computing Environment

Yazar

Kumar, Vikas. author.

https://doi.org/10.1007/978-981-13-3023-0

Format:

Electronic Resources

Alıntı:

Computer simulation.

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Yazar

Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379

https://doi.org/10.1007/978-3-319-70848-5

Format:

Electronic Resources

Alıntı:

Computer simulation.

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Yazar

Paskevich, Andrei. editor.

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

Format:

Electronic Resources

Alıntı:

Computer simulation.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor.

https://doi.org/10.1007/978-3-319-63387-9

Format:

Electronic Resources

Alıntı:

Computer simulation.

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

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

Format:

Electronic Resources

Alıntı:

Computer simulation.

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

https://doi.org/10.1007/978-3-030-00244-2

Format:

Electronic Resources

Alıntı:

Computer simulation.

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

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

Format:

Electronic Resources

Alıntı:

Computer simulation.

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II

Yazar

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

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

Format:

Electronic Resources

Alıntı:

Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Yazar

Lohstroh, Marten. editor.

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

Format:

Electronic Resources

Alıntı:

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

	{displayName}	{count}
{error}