Verification and Validation of Ada and mixed language applications on ARM June 1, 2013

from AdaCore· ·

Verification and Validation of Ada and mixed language applications on ARM ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: AdaCore05 Views: 436 2 ratings Time: 32:32 More in Science & Technology



Verification and Validation of Ada and mixed language applications on ARM

ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada...

From: AdaCore05

Views: 436

2 ratings

Time: 32:32

More in Science & Technology