New SPARK Pro 9 Development Environment Delivers Increased Security Assurance for Critical Projects
24 mars 2010 08h00 HE
|
AdaCore
AMSTERDAM, NY and PARIS--(Marketwire - March 24, 2010) - Avionics Europe 2010 -- SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating...