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 III
Published in: TACAS (3) (2024)
Keyphrases
- international workshop
- analysis tool
- lecture notes in artificial intelligence
- software packages
- software tools
- international conference
- formal methods
- mathematical models
- graphical user interfaces
- hardware platforms
- commercial software
- computer systems
- software developers
- computer aided software engineering
- computational tools
- software components
- software development
- data structure
- learning algorithm
- software projects
- lecture notes
- international symposium
- technical issues
- complex software systems
- machine learning
- table of contents
- building blocks
- intelligent systems
- book constitutes the refereed proceedings
- programming environments