Descripción
|
|
---|---|
ASSERT (Automated proof based System and Software Engineering for Real-Time ) is an integrated project (IP) co-sponsored by the European Commission under the Information Society Technology (IST) priority within the 6th Framework Programme (FP6). The project addresses the strategic objective of Embedded Systems. The ASSERT main goal is to improve the system-and-software development process for critical embedded real-time systems, in the Aerospace and Transportation domains | |
Internacional
|
Si |
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
Entidad financiadora
|
Comisión Europea, 6PM |
Nacionalidad Entidad
|
Sin Pais |
Tamaño de la entidad
|
Gran Empresa (>250) |
Fecha concesión
|