Mostrando 1 - 1 Resultados de 1 Para Buscar 'Mateescu, Radu', tiempo de consulta: 0.01s Limitar resultados
  1. 1

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. por Mateescu, Radu

    Artículo

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.

Herramientas de búsqueda: