Search Results for Formal methods (Computer science)

111 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 10

000000000000DEFAULTTR

Dynamic logic

Yazar

Harel, David, 1950-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400

Format:

Electronic Resources

Alıntı:

Formal methods (Computer science)

Formal methods for industrial critical systems : a survey of applications

Yazar

Gnesi, Stefania, 1954-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798

Format:

Electronic Resources

Alıntı:

Formal methods (Computer science)

Teamwork in multi-agent systems : a formal approach

Yazar

Dunin-Keplicz, Barbara.

Format:

Kitap

Alıntı:

Formal methods (Computer science).

Principles of cyber-physical systems

Yazar

Alur, Rajeev, 1966-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352

Format:

Electronic Resources

Alıntı:

Formal methods (Computer science)

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

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Yazar

Ábrahám, Erika. editor.

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

Format:

Electronic Resources

Alıntı:

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th

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

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Yazar

Skrzypczak, Michał. author.

http://dx.doi.org/10.1007/978-3-662-52947-8

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Yazar

Albert, Elvira. editor.

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

Format:

Electronic Resources

Alıntı:

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11

10.

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Yazar

Bjørner, Nikolaj. editor.

http://dx.doi.org/10.1007/978-3-319-19249-9

Format:

Electronic Resources

Alıntı:

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /

11.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor.

http://dx.doi.org/10.1007/978-3-319-06410-9

Format:

Electronic Resources

Alıntı:

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

12.

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Yazar

Ölveczky, Peter Csaba. editor.

https://doi.org/10.1007/978-3-030-30446-1

Format:

Electronic Resources

Alıntı:

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway

Tümünü Seç

1 2 3 4 5 .. 10

111 sonuç bulundu

	{displayName}	{count}
{error}