| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/EngineSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 494 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
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.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28