Search Results for Tools.

1.

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 I

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

2.

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

3.

Process Design for Natural Scientists An Agile Model-Driven Approach

Yazar

Lamprecht, Anna-Lena. editor.

http://dx.doi.org/10.1007/978-3-662-45006-2

Format:

Electronic Resources

Alıntı:

interesting material for readers already familiar with this kind of tools, because it introduces

4.

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

Yazar

Margaria, Tiziana. editor.

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

Format:

Electronic Resources

Alıntı:

-- Runtime and Memory Evaluation of Data Race Detection Tools -- In-Place vs. Copy-on-Write CEGAR Refinement

5.

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

verification: from static to runtime and back; evaluating tools for software verification; statistical model

6.

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

Yazar

Margaria, Tiziana. editor.

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

Format:

Electronic Resources

Alıntı:

verification: from static to runtime and back; evaluating tools for software verification; statistical model

7.

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

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03424-5

Format:

Electronic Resources

Alıntı:

-- Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool -- Quantitative

8.

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Yazar

Steffen, Bernhard. editor.

https://doi.org/10.1007/978-3-319-51963-0

Format:

Electronic Resources

Alıntı:

, tools, applications.

9.

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}