FACTum

swMATH30951MaRDI QIDQ42665FDOQ42665

Author name not available (Why is that?)

Official website: https://marmsoler.com/factum/

Cited In (10)

• Interactive verification of architectural design patterns in FACTum
• Runtime verification for dynamic architectures
• HOL-OCL
• ConQAT
• Xtext
• Klocwork
• Dynamic Architectures
• Architectural_Design_Patterns
• Title not available (Why is that?)
• OCRA

This page was built for software: FACTum