Modellazione multiformalismo

La modellazione multiformalismo si occupa di rendere possibile la realizzazione di modelli che coniugano diverse tecniche formali indipendenti per sfruttare i vantaggi di ognuna di esse.

Progetto OsMoSys

Progetto SIMTHESys