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 Mon 22-Jul-24 . 22:33

Web Map



Santander Info

   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
Authors: Pablo Peñil
Héctor Posadas
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: FP7 216807 SATURN
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