Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Abstract: This special issue of Software Tools for Technology Transfer comprises extended versions of selected papers from the 26th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020). The focus of this conference series is tools and algorithms for the rigorous analysis of software and hardware systems, and the papers in this special cover the spectrum of current work in this field
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
International journal on software tools for technology transfer. - 24, 5 (2022) , 663-665, ISSN: 1433-2787
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2022
- Creator
- Contributor
- DOI
-
10.1007/s10009-022-00677-9
- URN
-
urn:nbn:de:bsz:25-freidok-2318605
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
02.02.190728634, 8:38 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
Time of origin
- 2022
Other Objects (12)
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
Tools and algorithms for the construction and analysis of systems, Part 2
Tools and algorithms for the construction and analysis of systems, Part 1
Tools for the construction and analysis of systems : A special issue for TACAS 2018
Parallel algorithms for the construction of special subgraphs
Parallel algorithms for the construction of special subgraphs
Special issue I: Algorithms and architectures for real-time multi-dimensional image processing
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : second international workshop ; proceedings
Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
Tools and algorithms for the construction and analysis of systems, Part 2
Tools and algorithms for the construction and analysis of systems, Part 1
Tools for the construction and analysis of systems : A special issue for TACAS 2018
Parallel algorithms for the construction of special subgraphs
Parallel algorithms for the construction of special subgraphs
Special issue I: Algorithms and architectures for real-time multi-dimensional image processing
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : second international workshop ; proceedings
Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
Tools and algorithms for the construction and analysis of systems, Part 2
Tools and algorithms for the construction and analysis of systems, Part 1
Tools for the construction and analysis of systems : A special issue for TACAS 2018
Parallel algorithms for the construction of special subgraphs
Parallel algorithms for the construction of special subgraphs
Special issue I: Algorithms and architectures for real-time multi-dimensional image processing
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : second international workshop ; proceedings
Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings