Software Engineering and Formal Methods
| ISBN: | 9783031773815 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Knapp, Alexander Madeira, Alexandre |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 26.11.2024 |
| Untertitel: | 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings |
| Schlagworte: | Algorithmen und Datenstrukturen Computer System Implementation Computerhardware Computerprogrammierung und Softwareentwicklung Control Structures and Microprogramming Data Structures and Information Theory Informationstheorie Künstliche Intelligenz Logic in AI Programming Techniques Quantum systems SYNTHESIS Software Engineering Systemanalyse und -design formal methods model checking, theorem proving, and decision procedures real-time, hybrid, and cyber-physical systems security and safety software testing, verification, and validation |