Search Results for Critical theory.

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

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

Model-Based Systems Engineering with OPM and SysML

Yazar

Dori, Dov. author.

http://dx.doi.org/10.1007/978-1-4939-3295-5

Format:

Electronic Resources

Alıntı:

through the use of formal models, is emerging as the most critical component of systems engineering. This

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Yazar

Margaria, Tiziana. editor.

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

Format:

Electronic Resources

Alıntı:

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

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Yazar

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

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

Format:

Electronic Resources

Alıntı:

Possibilities for All-electron Density Functional Theory -- Efficient Strict-Binning Particle-in-Cell Algorithm

	{displayName}	{count}
{error}