Search Results for Critical theory.

14 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor.

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. (orcid)0000-0002-9522-3084

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

Format:

Electronic Resources

Alıntı:

techniques and other approaches for software assurance, their theory, current capabilities and limitations

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

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

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

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

Format:

Electronic Resources

Alıntı:

; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive

Cloud Broker and Cloudlet for Workflow Scheduling

Yazar

Youn, Chan-Hyun. author.

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

Format:

Electronic Resources

Alıntı:

critical decisions intelligently. Thus, this book addresses these issues through discussion of some novel

Software Design for Resilient Computer Systems

Yazar

Schagaev, Igor. author.

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

Format:

Electronic Resources

Alıntı:

exploration, etc. · Outlines potential critical faults in the modern computer systems and what is required to

Introduction to Software Quality

Yazar

O’Regan, Gerard. author.

http://dx.doi.org/10.1007/978-3-319-06106-1

Format:

Electronic Resources

Alıntı:

chapter Covers both theory and practice, in addition to providing guidance on applying the theory in an

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Yazar

Fontaine, Pascal. editor.

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

Format:

Electronic Resources

Alıntı:

Terms in a Lazy WSkS Decision Procedure -- Confluence by Critical Pair Analysis Revisited -- Composing

10.

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

Yazar

Iklé, Matthew. editor.

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

Format:

Electronic Resources

Alıntı:

Computational Theory for Life-Long Learning of Semantics -- Cumulative Learning with Causal-Relational Models

11.

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Yazar

Ábrahám, Erika. editor.

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

Format:

Electronic Resources

Alıntı:

-- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata

12.

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

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

Format:

Electronic Resources

Alıntı:

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

	{displayName}	{count}
{error}