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 I
Published in: TACAS (1) (2024)
Keyphrases
- software packages
- lecture notes
- computer science
- formal methods
- analysis tool
- commercial software
- computer systems
- software developers
- mathematical models
- software tools
- international workshop
- lecture notes in artificial intelligence
- technical issues
- international symposium
- book constitutes the refereed proceedings
- software implementation
- software suite
- international conference
- data structure
- software engineers
- building blocks
- intelligent systems
- user interface
- software environment
- commercial products
- learning algorithm
- embedded systems
- software components
- software systems
- advances in artificial intelligence
- knowledge discovery
- data analysis
- legacy systems