search

habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Adapt Import #58

Closed dmarmsoler closed 6 years ago

dmarmsoler commented 6 years ago

When generating code for the PS example instead of importing Auxiliary, import "DynamicArchitectures.Dynamic_Architecture_Calculus"