skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Floating Time Transition System: More Efficient Analysis of Timed Actors

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.237-255 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

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.