Repository navigation

LandingSystem

Public

About

Verification project of a plane landing system using UPPAAL

ensta uppaal verification

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
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

ensta uppaal verification

0 stars

0 watching

Report repository

Releases

Packages

Contributors