Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

Query types updated to follow theory #143

Closed Nielswps closed 1 year ago

Nielswps commented 1 year ago

Closes #138