misael-jr documents

Técnicas de modelagem formal aplicadas na avaliação de sistemas biomédicos
Engineering Técnicas de modelagem formal aplicadas na avaliação de sistemas biomédicos