|
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.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
