| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/ChessWayRT/ (Vienna Development Method ©) Datei vom 13.4.2020 mit Größe 181 B |
|
Quelle DTControl.vdmrtSprache: VDM |
|||||||||||||||
|
class DTControl is subclass of DTObject operations -- calculates output, based on the error public Output: real ==> real Output(err) == is subclass responsibility end DTControl
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-06-08) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09