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
¤ 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.0.14Bemerkung:
(vorverarbeitet am 2026-06-07)
¤
*Bot Zugriff
