R&D Projects
Confirmed projects database queries
Proposals for Research and Development Projects in all Scientific Domains - 2004
FORDESIGN - Formal methods for Embedded Systems Co-design
POSC/EIA/61364/2004
-
Main Research Area
-
Computer Engineering
-
Secondary Research Area
-
Electrical Engineering - Electronics, Microelectronics, Electrical Systems and Energy
-
Keywords
-
Petri nets
-
Automatic code generation
-
Hardware-software partitioning
-
Model composability
-
Funding
- €
90,000.00
Project institutions not found