products/sources/formale sprachen/VDM/VDMRT/MSAWRT image not shown  

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.


Bot Zugriff