HybridSynchAADL

Documentation



report User Manual explains the HybridSynchAADL modling language and tool. We provide also a tutorial file in this link.
study Technical Report explains more details about the formal semantics, language, and experiments.