| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/ChessWayRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 601 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
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.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28