Dayonixe / N7_TP-Transitions-System Public

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

Project realized within the course of Transitions System at the ENSEEIHT.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
TP1-TLA		TP1-TLA
TP2-TLA		TP2-TLA
TP3-TLA		TP3-TLA
TP4-TLA		TP4-TLA
README.md		README.md

Repository files navigation

Practical Work - Transitions System

laguage-TLA

Simple practical work within the course of Transitions System via the tool TLA+.

About

Project realized within the course of Transitions System at the ENSEEIHT.

Report repository

Languages

TLA 100.0%