JAR García,
HA Diosa - Workshop on Engineering Applications, 2016 - Springer
Formal effort required to specify and analyze architectures using formal languages is high.
This has motivated us to build a software tool that allows the interpretation of component …