Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021.
Peter Gjøl JensenThomas NeelePublished in: Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
- special issue
- international journal
- analysis tool
- ecml pkdd
- ai edam
- software tools
- special section
- mathematical models
- commercial products
- data structure
- data analysis
- computational tools
- computer vision algorithms
- applied intelligence
- distributed systems
- software packages
- learning algorithm
- visualization tool
- design tools
- computational complexity
- multimedia