Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Tue 26-Mar-19 . 06:32



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Formal Modeling for UML/MARTE Concurrency Resources
Tipo:Publicacion en Proceedings o Actas nacionales
Lugar:Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems
Fecha:2010-03
Autores: Pablo Peñil
Héctor Posadas
Eugenio Villar
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: FP7 216807 SATURN
ISBN:978-0-7695-40153
Fichero:ver fichero
Resumen:Formalizacion por medio de ForSyDe (Formal System Design) de los recursos concurrentes (ConcurrencyResource) del perfil MARTE de UML
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster