Skip to Content

Search

Top rated content

Make your R&D results visiable!

Contritibute your tool-characteristics here!

Tool Name Author(s) Updated Screenshot Average Votesort icon
COMPLEX_UML_MARTE: The COMPLEX Eclipse Framework for UML/MARTE Specification of Embedded Systems and Automatic Generation of Executable Models for Design Space Exploration
Pablo Peñil (University of Cantabria)
Eugenio Villar (University of Cantabria)
Francisco Ferrero (GMV Aerospace and Defence SAU)
Raúl Valencia (GMV Aerospace and Defence SAU)

F. Herrera, , ES 		03/21/2012 - 15:35
0
SmartCoDe: Smart Energy Management in Buildings and Environements 03/21/2012 - 15:35
0
SmartCoDe: Smart Energy Management in Buildings and Environements 03/21/2012 - 15:35
0
SmartCoDe: Smart Energy Management in Buildings and Environements 03/21/2012 - 15:35
0
SmartCoDe: Smart Energy Management in Buildings and Environements
Franz Lukasch, Te... 		03/21/2012 - 15:35
0
Evolvable Hardware FPGA-based platform for Autonomous Fault-tolerant Systems 03/21/2012 - 15:35
0
ASTEROID: an analyzable, resilient real-time operating system design 03/21/2012 - 15:35
0
SystemC UVM Verification Components
Marcio F. S. Oliveira (University of Paderborn)
Wolfgang Müller (University of Paderborn)

Christoph Kuznik,... 		03/21/2012 - 15:35
0
Bounded Property Checking with SymC 03/01/2005 - 13:41
0
Register Management for Integrated Systems 06/05/2012 - 13:42
0


Theme by Dr. Radut.