Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: AC7_AC9.thy Sprache: Text

Original von: VDM^©

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.23 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

Laden

Fehler beim Verzeichnis:

in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.