Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Mateescu, Radu', doba hledání: 0,01 s. Upřesnit hledání
  1. 1

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

    Článek

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

Vyhledávací nástroje: