Search Results for Tools.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

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

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

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

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}