Search Results for System safety.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

System safety.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Yazar

Fantechi, Alessandro. editor.

https://doi.org/10.1007/978-3-319-68499-4

Format:

Electronic Resources

Alıntı:

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Yazar

Liu, Shaoying. editor.

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

Format:

Electronic Resources

Alıntı:

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

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Yazar

Larsen, Kim Guldstrand. editor.

https://doi.org/10.1007/978-3-030-27008-7

Format:

Electronic Resources

Alıntı:

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

https://doi.org/10.1007/978-3-030-20652-9

Format:

Electronic Resources

Alıntı:

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

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

System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market

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 Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

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

Format:

Electronic Resources

Alıntı:

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

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II

Yazar

Yin, Hujun. editor. (orcid)0000-0002-9198-5401

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

Format:

Electronic Resources

Alıntı:

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

	{displayName}	{count}
{error}