| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMSL/metroSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 302 B |
|
Quelle README.txt Sprache: Text |
|||||||||||||||
|
Author: Sten Agerholm This model presents three different abstract specifications of a metro door management system in VDM-SL. The purpose of the presentation is to describe alternatives to the Metro specification developed in the European research project called SPECTRUM. Language Version: vdm10
¤ Dauer der Verarbeitung: 0.2 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-04-02