GitHub - ModelDriven/PSSM: Precise Semantics of State Machines · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 215 Commits
Deliverables		Deliverables
Documents		Documents
Models		Models
Presentations		Presentations
Prototype/Traces		Prototype/Traces
.gitignore		.gitignore
.project		.project

About

Precise Semantics of State Machines

Custom properties

Report repository

Releases

Packages

Contributors

Languages