Tópico: embedded systems
Tópico: mathematics
Ejemplares similares: Fundamental Approaches to Software Engineering
Ejemplares similares: Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Fundamental Approaches to Software Engineering
- Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
- Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
- Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
- Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025