jtatibouet

Pinned Repositories

• fUML-Reference-Implementation

  Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.

  Language:Java62153911

• PSSM

  Precise Semantics of State Machines

  Language:CSS80

jtatibouet's Repositories