Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: Greg Holland

As with many modern engineered products, the control software developed at Rolls-
Royce is part of a larger system, namely an engine control system, comprising many
electronic, hydromechanical and electromechanical components. The control system
is part of an engine which, in turn, is a component of an aircraft. This VDM model
is made by Greg Holland as a part of his MSc thesis in this area. It is made
implicitly so it cannot be executed.

Language Version: classic

¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.