Microelectronics Engineering Group

Microelectronics Engineering Group

 Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Sun 22-Dec-24 . 03:21



Web Map


Location

News

Santander Info
GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Formal Modeling for UML/MARTE Concurrency Resources
Type:National Conference
Where:Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems
Date:2010-03
Authors: Pablo Peñil
Héctor Posadas
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: FP7 216807 SATURN
ISBN:978-0-7695-40153
PDF File:see file
Abstract:ForSyDe Formalization of the ConcurrencyResources of the profile MARTE of UML
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster