This dataset contains 1736 Matlab/Simulink models from 194 projects hosted on GitHub, MathWorks' Matlab Central and various other project hosting services. The dataset contains folders for the 194 pro
Dieses Repository enthält die Beschreibung des System-Modells im Minimalbeispiel aus Kapitel 4 der Dissertation in textueller Notation. Die jeweiligen Dateien sind wie folgt strukturiert: <ol> &
This is a tool developed based on the paper "Automated synthesis of local time requirement for service composition" published in Software and Systems Modeling in 2020.
