Advanced Parallel Testing and Verification Methods for Distributed Systems

  • Heljanko, Keijo (Principal investigator)
  • Maarala, Altti Ilari (Project Member)
  • Saarikivi, Olli (Project Member)
  • Ponce de Leon, Hernan (Project Member)

Project Details

StatusFinished
Effective start/end date01/09/201431/08/2018

Collaborative partners

  • Aalto University (lead)
  • SA: Research funding (other) (Project partner)
  • Suomen Akatemia (Project partner)