|
Author: Augusto Ribeiro
This example is created by Augusto Ribeiro illustrating different concepts in VDM
for teaching purposes including the distributed real time features in VDM-RT. Note
that thus this model is not in a state where it makes sense to execute it.
Language Version: vdm10
¤ Dauer der Verarbeitung: 0.14 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.
|
