Dynamic Architectures

MaRDI QIDQ42667swMATHFDO

Official website https://www.isa-afp.org/entries/DynamicArchitectures.html

Cited in

(5)

• Interactive verification of architectural design patterns in FACTum
• Rapide
• Xtext
• FACTum
• Architectural_Design_Patterns

This page was built for software: Dynamic Architectures