Dwivedi Ashish Kumar

Formalisierung Und Modellprüfung Des Softwarearchitekturstils

Formalizzazione E Verifica Dei Modelli Dello Stile Architettonico Del Software

Formalisation Et Vérification De Modèles De Styles Architecturaux Logiciels

Formalização E Verificação De Modelos De Estilo Arquitetural De Software