DESTECS Icon

DESTECS

planning

Add a Review
1 Download (This Week)
Last Update:
  Browse Code Git Repository

Screenshots

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

Update Notifications





Write a Review

User Reviews

Be the first to post a review of DESTECS!

Additional Project Details

Programming Language

Java

Registered

2010-01-18
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.