RSS Feed for this search

Praxis

General Dynamics UK selects SPARK language for AW159 Lynx Wildcat

General Dynamics UK selects SPARK language for AW159 Lynx Wildcat

Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.

Source: Praxis, 10-Sep-09