Projects with tag Spark Ada


Wind Turbine System
Wind Turbine System

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