GitHub repository: ECDAR-AAU-SW-P5/Ecdar-GUI-Web
Primary language: TypeScript
Created: 2023-09-14T09:54:31Z
Description: A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)