FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
23
stars
14
forks
source link
Extension of gsn.ext with IWords for pattern documentation and modelling #64
Closed
Liana09 closed 2 years ago