Charmy

swMATH11046MaRDI QIDQ22998FDOQ22998

Author name not available (Why is that?)

Official website: http://www.di.univaq.it/charmy/

Cited In (4)

• Title not available (Why is that?)
• SysML
• AUTOSAR
• An architectural approach to the analysis, verification and validation of software intensive embedded systems

This page was built for software: Charmy