Catálogo de publicaciones - libros
Título de Acceso Abierto
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Parte de: Conference Series: Formal Methods in Computer-Aided Design
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
