Pessoas:
Laboratorios:
Palavras-chave
petri algorithms designed eventos saude discrete event eventos discretos hospital sistemas eventos failure adaptive converter sistema codiagnosability diagnosis sistemas evento voltage production approach robust assessment revisited diagnosability discrete optimisation verification avaliacao municipio ship controladores unbalanced niteroi