Skip to content

JohanVerne/LandingSystem

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
docs
docs
 
 
Cylinders.xml
Cylinders.xml
 
 
LandingSystem.xml
LandingSystem.xml
 
 
README.md
README.md
 
 
electroValves.xml
electroValves.xml
 
 
opened.xtr
opened.xtr
 
 
switch.xml
switch.xml
 
 

Repository files navigation

LandingSystem

Verification project of a plane landing system

About

Verification project of a plane landing system using UPPAAL

Topics

verification uppaal ensta

Resources

Readme
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors