Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Published in: TACAS (2) (2024)
Keyphrases
- software packages
- lecture notes in artificial intelligence
- software tools
- mathematical models
- analysis tool
- computer systems
- international workshop
- formal methods
- software developers
- international conference
- technical issues
- building blocks
- lecture notes
- software implementation
- computational tools
- software components
- commercial software
- software development
- computer science
- distributed systems
- intelligent systems
- software engineers
- knowledge discovery and data mining
- legacy systems
- heterogeneous systems
- graphical user interfaces
- commercial products
- topics covered include