products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: VarMap.v   Sprache: Text

Original von: VDM©
Author: Marcel Verhoef and Bert Bos and Ken Pierce


This example shows the discrete event model used for
co-simulation of the ChessWay personal people mover
as used in the DESTECS project (see http://www.destecs.org).
It reflects the status of the model which is mentioned
in the paper <I>A Formal Approach to Collaborative Modelling
and Co-simulation for Embedded Systems</I> which is submitted
to the Journal Mathematical Structures in Computer Science.
The corresponding continuous time model is available
through the first author.

Language Version: vdm10
Entry point     : new World().RunVdmRt()

¤ Dauer der Verarbeitung: 0.22 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff