SimulinkModels (Folder)

Remarks

This folder contains definitions of Similink models.

Containment

Children: SimulinkModel, SimulinkModels
Parents: SimulinkModels, Testing

Formal Specification

Structural Semantics: CyPhyML.4ml