FACTum

swMATH30951MaRDI QIDQ42665FDOQ42665

Author name not available (Why is that?)

Cited In (3)

• Interactive verification of architectural design patterns in FACTum
• Runtime verification for dynamic architectures
• Title not available (Why is that?)

This page was built for software: FACTum