[pt] ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS

TEXTO

[en] FORMAL ANALYSIS OF SOFTWARE MODELS ORIENTED BY ARCHITECTURAL ABSTRACTIONS

Registro en:

http://148.201.128.228:8080/xmlui/handle/20.500.12032/10026

https://repositorioslatinoamericanos.uchile.cl/handle/2250/6185690

Autor

MARCELO FAGUNDES FELIX

Institución

Universidades Confiadas a la Compañía de Jesús en América Latina (Venezuela)

Materias

[pt] SISTEMAS CONCORRENTES

[pt] ANALISE FORMAL

[pt] METODOS FORMAIS

[pt] ARQUITETURA DE SOFTWARE

[en] CONCURRENT SYSTEMS

[en] FORMAL ANALYSIS

[en] FORMAL METHODS

[en] SOFTWARE ARCHITECTURE

Mostrar el registro completo del ítem