Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
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.
#******************************************************
#  AUTOMATED TEST SETTINGS
#------------------------------------------------------
#AUTHOR=Marcel Verhoef and Bert Bos and Ken Pierce
#LANGUAGE_VERSION=classic
#INV_CHECKS=true
#POST_CHECKS=true
#PRE_CHECKS=true
#DYNAMIC_TYPE_CHECKS=true
#SUPPRESS_WARNINGS=false
#ENTRY_POINT=new World().RunVdmRt()
#LIB=IO,MATH,CSV
#EXPECTED_RESULT=NO_ERROR_TYPE_CHECK
#******************************************************
New to GrepCode? Check out our FAQ X