GitHub - dalam004/pipeplus: PipePlus is a tool to model, analyze verify discrete, continuous and hybrid systems using Hybrid Predicate Transition Nets.

dalam004 / pipeplus Public

PipePlus is a tool to model, analyze verify discrete, continuous and hybrid systems using Hybrid Predicate Transition Nets.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
api		api
apps		apps
core		core
dist		dist
domain		domain
presentation		presentation
.gitignore		.gitignore
pom.xml		pom.xml

About

PipePlus is a tool to model, analyze verify discrete, continuous and hybrid systems using Hybrid Predicate Transition Nets.

No packages published