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. |
| 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, Magíster, Otra, Formación y Oficio, Interacción y Servicios) 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 |
