Buscas alternativas:
tock » took (Expandir a busca), toc (Expandir a busca), tick (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"Tock-CSP"', tempo de busca: 0,04s

1

Assuntos: “...Tock-CSP...”

Mechanised local deadlock analysis based on timed behavioural patterns and responsiveness

Publicado em 2023
Acessar documento
Tese