Evolving a Safe System Design Iteratively.

Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe A. S. Ferri, Edson H. Watanabe

Browse the full SAFECOMP paper archive.