| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/AbstractPacemakerSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 421 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Sten Agerholm, Peter Gorm Larsen and Kim Sunesen
This model is described in VDM-SL as a short, flat specification. This enables abstraction from design considerations and ensures maximum focus on high-level, precise and systematic analysis. This was developed by Sten Agerholm, Peter Gorm Larsen and Kim Sunesen in 1999 in connection with FM'99. Language Version: vdm10 Entry point : DEFAULT`TestCash() ¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28