-
Notifications
You must be signed in to change notification settings - Fork 0
jsousa127/etcs_model
About
Formal modeling and verification of the European Rail Traffic Management System. Project carried out under my master's Formal Methods specialization profile.
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published