Isabel Cussi Brasileiro Dias

2PUBLICATIONS
7CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Mar 17, 2021
Software development for emergency bed management.

Izabella Soares de Oliveira, Eliane de Fátima Almeida Lima, Rita Inês Casagrande da Silva

|Sep 09, 2020
Construction of hypermedia for prevention of bloodstream infection.

Isabel Cussi Brasileiro Dias, Eliane de Fátima Almeida Lima, Mirian Fioresi

Pageof 1