Pessoas:
Laboratorios:
Palavras-chave
verification analise sistemas evento petri controle supervisory control state sistemas eventos event systems loss observation robust event system janeiro diagnosability systems niteroi controladores avaliacao discrete event intermittent redes neurais brazil municipio saude diagnosis diagnosability discrete eventos discretos brasil hospital