skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Formal analysis and verification of the PSTM architecture using CSP

Liu, Ailun ; Zhu, Huibiao ; Popovic, Miroslav ; Xiang, Shuangqing ; Zhang, Lei

The Journal of systems and software, 2020-07, Vol.165, p.110559, Article 110559 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.