| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/trackerproofPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 312 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: John Fitzgerald
This VDM++ model is a direct transformation from the VDM-SL model presented in the Fitzgerald&Larsen98 book on VDM-SL. The tracker takes care of monitoring and controlling the nuclear material in a plant that takes care of processing such waste material. Language Version: vdm10 ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28