Projects with tag Spark Ada


Wind Turbine System
Wind Turbine System

Writing a safety critical system for a wind turbine in Spark Ada.

Copyright 2018 - 2025 Benjamin Dodd. All Rights Reserved.