Architectural capability analysis using a model-checking technique

Desarrollado en
Fecha de creación
Subtipo Colciencias
Artículo de investigación - B
Convocatoria
Convocatoria 833 de 2018