FORDESIGN - Formal Methods for Embedded Systems Co-Design FORDESIGN - Métodos formais em Co-design de sistemas embutidos R&D project POSC/EIA/61364/2004 sponsored by FCT - Fundação para a Ciência e a Tecnologia |
Menu |
|
Links |
|
 |
|
 |
FORDESIGN - Formal Methods for Embedded Systems Co-Design FORDESIGN - Métodos formais em Co-design de sistemas embutidos R&D project POSC/EIA/61364/2004 sponsored by FCT - Fundação para a Ciência e a Tecnologia |
Menu |
|
Links |
|
|
|
|