Search Results for Tools.

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Baier, Christel. editor.

http://dx.doi.org/10.1007/978-3-662-46681-0

Format:

Electronic Resources

Alıntı:

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-642-54862-8

Format:

Electronic Resources

Alıntı:

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Chechik, Marsha. editor.

http://dx.doi.org/10.1007/978-3-662-49674-9

Format:

Electronic Resources

Alıntı:

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Yazar

Legay, Axel. editor.

https://doi.org/10.1007/978-3-662-54580-5

Format:

Electronic Resources

Alıntı:

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference

Yazar

Legay, Axel. editor.

https://doi.org/10.1007/978-3-662-54577-5

Format:

Electronic Resources

Alıntı:

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference

Directed Algebraic Topology and Concurrency

Yazar

Fajstrup, Lisbeth. author.

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

Format:

Electronic Resources

Alıntı:

topological models. In the process, it develops tools and invariants for the new discipline directed algebraic

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

Yazar

Baetens, Jan M. editor.

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

Format:

Electronic Resources

Alıntı:

16 submissions. The papers highlight the major advances in the field and the development of new tools

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

, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

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

Format:

Electronic Resources

Alıntı:

Development -- Generation of Domain-Specific Graphical Development Tools Targeting Heterogeneous Platforms

	{displayName}	{count}
{error}