Mechanised local deadlock analysis based on timed behavioural patterns and responsiveness

Detalhes bibliográficos
Ano de defesa:	2023
Autor(a) principal:	JESUS JÚNIOR, Joabe Bezerra de
Orientador(a):	Não Informado pela instituição
Banca de defesa:	Não Informado pela instituição
Tipo de documento:	Tese
Tipo de acesso:	Acesso embargado
Idioma:	eng
Instituição de defesa:	Universidade Federal de Pernambuco UFPE Brasil Programa de Pos Graduacao em Ciencia da Computacao
Programa de Pós-Graduação:	Não Informado pela instituição
Departamento:	Não Informado pela instituição
País:	Não Informado pela instituição
Palavras-chave em Português:	Control systems Simulink Tock-CSP Deadlock Patterns Responsiveness
Link de acesso:	https://repositorio.ufpe.br/handle/123456789/54314
Resumo:	SAMPAIO, Augusto C. A., também é conhecido em citações bibliográficas por: SAMPAIO, Augusto Cezar Alves.

Registros relacionados