Fábio Pasini

  • Citations Per Year
Learn More
During the development of a parallel application, besides being able to analyze performance aspects, it is highly desirable to be able to assure functional properties as early as possible. Assuring functional properties about a model of the parallel application, besides increasing the reliability in the results, can lead to important savings since reduces(More)
  • 1