GitHub - kmorris3/rodin_scxml_plugin: This repository is to hold materials for the development of the scxml rodin plugin. This includes scxml model examples and any manuscripts that result from that work

kmorris3 / rodin_scxml_plugin Public

Notifications You must be signed in to change notification settings
Fork 2
Star 0

This repository is to hold materials for the development of the scxml rodin plugin. This includes scxml model examples and any manuscripts that result from that work

0 stars 2 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1,140 Commits
GeneralDocumentation		GeneralDocumentation
manuscripts		manuscripts
references		references
rodin_model_examples		rodin_model_examples
scxml_formal_semantics		scxml_formal_semantics
scxml_model_examples		scxml_model_examples
sirius		sirius
talks		talks
.gitattributes		.gitattributes
.gitignore		.gitignore
Ex2_OutsideInput_KMW.scxml		Ex2_OutsideInput_KMW.scxml
FirstTry_Ex2_OutsideInput.scxml		FirstTry_Ex2_OutsideInput.scxml
README.txt		README.txt
settings.gradle		settings.gradle

Repository files navigation

Just a file to get started

About

This repository is to hold materials for the development of the scxml rodin plugin. This includes scxml model examples and any manuscripts that result from that work

Readme

Activity

0 stars

5 watching

2 forks

Report repository