Standards for developing safety-critical software require adherence to a programming style. The freely available BARR specifications are a good basis.
Contact us for more information.
BARR specifications as a guideline
Standards for developing safety-critical software require adherence to a programming style. The freely available BARR specifications are a good basis.
Contact us for more information.