search

habtom / factum

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

Sirius Integration #79

Closed awoc closed 5 years ago

awoc commented 5 years ago

State machines can be modelled with sirius