Formal Methods in System Design

De Casiopea
Nombre Formal Methods in System Design
Editorial Springer
Filiación
País
«Internacional» no se encuentra en la lista (Albania, Alemania, Andorra, Angola, Antigua y Barbuda, Arabia Saudita, Argelia, Argentina, Armenia, Australia, ...) de valores permitidos de la propiedad «País».
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.
Email
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,
«Interacción» no se encuentra en la lista (Arquitectura, Diseño, Diseño Gráfico, Diseño Industrial, Náutico y Marítimo, Ciudad y Territorio, Formación y Oficio, Interacción y Servicios, Otra, Magíster) de valores permitidos de la propiedad «Carreras Relacionadas».
Indexación ISI, Scopus, Science Citation Index - Expanded
Suscripción Escuela
Números al Año
Descripción
Profesores que han Publicado