The "/SgmlReader" file could not be found or is not available. Please select another file.

DESTECS

planning

augusto_silva, joeycoleman, lausdahl, pglvdm

Download readme.markdown

Browse All Files

Screenshots

3D Animation of Watertank

DESTECS IDE Splash

DESTECS Contract Editor

Description

The DESTECS Integrated Design Environment (IDE) is a new computer based solution for the development of embedded control systems.

DESTECS Web Site

Features

IDE for VDM++ and 20-sim
Co-simulation between VDM++ and 20-sim models
VDM

Write a Review

User Reviews

Be the first to post a review of DESTECS!