项目作者: AidanMcKenzie

项目描述 :
Prototype control system for a submarine, which uses Ada-SPARK to define the rules that govern the running of the submarine. The submarine can open and close airlock doors, surface and dive, and fire torpedoes, among other functionality.
高级语言: Ada
项目地址: git://github.com/AidanMcKenzie/Ada-Submarine.git
创建时间: 2019-12-15T19:11:55Z
项目社区:https://github.com/AidanMcKenzie/Ada-Submarine

开源协议:

下载