A collection of screencasts about FASTEN features:
Basic Features
Modeling Requirements
Modeling Architecture
Modeling Assurance Cases
Modeling Support for Safety Analysis
F A S T E N - a Formal Specification Environment
A collection of screencasts about FASTEN features:
Basic Features
Modeling Requirements
Modeling Architecture
Modeling Assurance Cases
Modeling Support for Safety Analysis