Home About Us Join us What's New

Manuel Aguilar - Verimag

rail-with-rpc.pdf SDL model as viewable PDF file

rail-with-rpc_GEODE.cif SDL model as CIF file. Can be loaded directly into GEODE (extension may need changing to .pr)

rail_doc.pdf - Documentation of model

Test results

The following files are message seqeunce charts as viewable PDF files:

testB.pdf

testC.pdf

testE.pdf

testF.pdf

SDL contest models

Aguilar Brandt Conquet Li_Probert_Williams QueinsMetzger

Contest Home Page