Formal Methods in System Design
De Casiopea
Nombre | Formal Methods in System Design |
---|---|
Editorial | Springer |
Filiación | |
País | Internacional"Internacional" is not in the list (Albania, Alemania, Andorra, Angola, Antigua y Barbuda, Arabia Saudita, Argelia, Argentina, Armenia, Australia, ...) of allowed values for the "País" property. |
Idioma | Inglés |
Dirección | Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods. |
Código | ISSN: 0925-9856 (Print) 1572-8102 (Online)
|
URL | http://www.springer.com/engineering/circuits+%26+systems/journal/10703 |
Palabras Clave | Interaction, Interacción, System design |
Carreras Relacionadas | Diseño Gráfico"Diseño Gráfico" is not in the list (Arquitectura, Diseño, Magíster, Otra) of allowed values for the "Carreras Relacionadas" property., Interacción"Interacción" is not in the list (Arquitectura, Diseño, Magíster, Otra) of allowed values for the "Carreras Relacionadas" property. |
Indexación | ISI, Scopus, Science Citation Index - Expanded |
Suscripción Escuela | |
Números al Año | |
Descripción | |
Profesores que han Publicado |