Catálogo de publicaciones - actas de congreso
MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Computing and Processing
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2020 | IEEE Xplore |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-3-8007-5220-1
Editor responsable
Verband Deutscher Elektrotechniker (VDE)
País de edición
Estados Unidos
Fecha de publicación
2020
