не последняя версия

org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer 2.4.0

Graphical tool to display execution trace of a VDM RT model. Enables the user to see thread switched and bus traffic.

Категории	Категории IDE Инструменты разработки
Группа	Группа org.overturetool.ide.plugins
Идентификатор	Идентификатор org.overture.ide.plugins.rttraceviewer
Версия	Версия 2.4.0
Тип	Тип eclipse-plugin

Скачать org.overture.ide.plugins.rttraceviewer 2.4.0

Имя Файла	Размер
org.overture.ide.plugins.rttraceviewer-2.4.0.pom
org.overture.ide.plugins.rttraceviewer-2.4.0.jar	99 KB
org.overture.ide.plugins.rttraceviewer-2.4.0-sources.jar	64 KB
org.overture.ide.plugins.rttraceviewer-2.4.0-p2metadata.xml	2 KB
org.overture.ide.plugins.rttraceviewer-2.4.0-p2artifacts.xml	594 bytes
Обзор