Samenvatting
Originele taal-2 | Engels |
---|---|
Titel | Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings |
Redacteuren | Sriram Sankaranarayanan, Natasha Sharygina |
Uitgeverij | Springer |
Pagina's | 44-52 |
Aantal pagina's | 9 |
ISBN van elektronische versie | 978-3-031-30820-8 |
ISBN van geprinte versie | 9783031308192 |
DOI's | |
Status | Gepubliceerd - 2023 |
Evenement | 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023) - Paris, Frankrijk Duur: 22 apr. 2023 → 27 apr. 2023 https://etaps.org/2023/tacas |
Publicatie series
Naam | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 13994 LNCS |
ISSN van geprinte versie | 0302-9743 |
ISSN van elektronische versie | 1611-3349 |
Congres
Congres | 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023) |
---|---|
Verkorte titel | TACAS 2023 |
Land/Regio | Frankrijk |
Stad | Paris |
Periode | 22/04/23 → 27/04/23 |
Internet adres |
Financiering
With the move to the Eclipse Foundation, and supported by the Eclipse Foundation’s principles of transparency, openness, meritocracy and vendor-neutrality, the ESCET project aims to be an open environment and a growing community. It allows interested parties, such as academic and applied research institutes, industrial partners and tool vendors, to collaborate on and profit from further tool development for the model-based construction of supervisors. Furthermore, the project’s open nature allows any vendor to develop commercial tool support.