Charmy

MaRDI QIDQ22998swMATHFDO

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

Cited in

(4)

• scientific article; zbMATH DE number 1951517 (Why is no real title available?)
• SysML
• AUTOSAR
• An architectural approach to the analysis, verification and validation of software intensive embedded systems

This page was built for software: Charmy