Verification and Evaluation of Computer and Communication Systems
17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings
| ISBN: | 9783031853555 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ben Hedia, Belgacem Ghazel, Mohamed Monsuez, Bruno |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 25.05.2025 |
| Untertitel: | 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings |
| Schlagworte: | Artificial Intelligence Computer Communication Networks Computer Engineering and Networks Correct-by-construction design Discrete-event and hybrid systems Modeling and Simulation Formal-based Security assessment Formal proving Künstliche Intelligenz Netzwerk-Hardware Performance and robustness evaluation QoS evaluation RAMS (Reliability-Availability-Maintainability-Safety) Rigorous system design Security protocols verification Verification & validation of AI Verification & validation of safety-critical systems formal methods model-checking planning and deployment |
Anmelden