GitHub - markoalas/eclipse-hta: Hierarchical Timed Automata editor for Eclipse

markoalas / eclipse-hta Public

Hierarchical Timed Automata editor for Eclipse

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 79 Commits
org.eclipse.editor.model		org.eclipse.editor.model
org.eclipse.editor		org.eclipse.editor
vanilla-1		vanilla-1
.gitignore		.gitignore
README		README
huppaal-1.1.dtd		huppaal-1.1.dtd

Repository files navigation

HTA

Hierarchical Timed Automata editor for Eclipse

No releases published

No packages published