eventB-Soton/SCXML_EMF eventB-Soton/SCXML_EMF

  • Stars
    star
    1
  • Language
    Java
  • License
    Eclipse Public Li...
  • Created almost 7 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eventB-Soton/SCXML_EMF
github

eventB-Soton

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SCXML meta-model in EMF

More Repositories

1

Rodin-Bundles

Rodin Platform Bundles that include features developed by our group
HTML
3
star
2

XEventB

CamilleX extension for Rodin platform
Java
3
star
3

EventBUtils

Event-B Utilities
Java
2
star
4

ScenarioChecker

An interface for running and replaying scenarios in ProB
HTML
2
star
5

EMF_Inclusion

EMF Support for inclusion mechanism
Java
1
star
6

UMLB_Project_Diagram

UML-B Project Diagram
Java
1
star
7

EventB_Translator_Support

Adaptation of the EMF translator for Event-B and Rodin
Java
1
star
8

lstEventB

LaTeX package for listing Event-B code
TeX
1
star